Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2303 || A Calculus of Circular Proofs and Its Categorical Semantics

✍ Nielsen, Mogens; Engberg, Uffe 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 544 KB

ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), th