A Kripke-Style Model for the Admissibility of Structural Rules
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
Typed operational semantics for higher-order subtyping
Information and Computation
A syntactic approach to eta equality in type theory
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pure type systems with judgemental equality
Journal of Functional Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
On the semantics of coinductive types in martin-löf type theory
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
On the role of type decorations in the calculus of inductive constructions
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |