Nominal Logic: A First Order Theory of Names and Binding
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Completeness of continuation models for λµ-calculus
Information and Computation - Special issue: LICS'97
A framework for typed HOAS and semantics
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Nominal logic, a first order theory of names and binding
Information and Computation - TACS 2001
Mathematical Structures in Computer Science
Modular correspondence between dependent type theories and categories including pretopoi and topoi
Mathematical Structures in Computer Science
The identity type weak factorisation system
Theoretical Computer Science
Kripke Semantics for Martin-Löf's Extensional Type Theory
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Two-dimensional models of type theory
Mathematical Structures in Computer Science
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe
Electronic Notes in Theoretical Computer Science (ENTCS)
TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs
Diagrammatic logic applied to a parameterisation process
Mathematical Structures in Computer Science
Topological and Simplicial Models of Identity Types
ACM Transactions on Computational Logic (TOCL)
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Canonicity for 2-dimensional type theory
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
BI hyperdoctrines and higher-order separation logic
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
A unifying model of variables and names
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
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
Knowledge Bases Over Algebraic Models: Some Notes About Informational Equivalence
International Journal of Knowledge Management
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |