Report abuse

Your name *

Your email address *

Message *

Captcha*

Cut Elimination in Categories

Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until noProducator: SPRINGER PG

---

Contact

Categorie: Diverse
Subcategorie: Altele
Adresa web: karte.ro

---