Coherent Bicartesian and Sesquicartesian Categories
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
βη-complete models for System F
Mathematical Structures in Computer Science
Topological representation of the λ-calculus
Mathematical Structures in Computer Science
Conditions for the completeness of functional and algebraic equational reasoning
Mathematical Structures in Computer Science
Building continuous webbed models for system F
Theoretical Computer Science - Mathematical foundations of programming semantics
An approach to call-by-name delimited continuations
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Kripke Semantics for Martin-Löf's Extensional Type Theory
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Finite dimensional vector spaces are complete for traced symmetric monoidal categories
Pillars of computer science
Hi-index | 0.00 |