| Publication | Date of Publication | Type |
|---|
Constructing initial algebras using inflationary iteration
| 2024-02-13 | Paper |
Decomposing the univalence axiom
| 2023-11-03 | Paper |
Process calculus based upon evaluation to committed form
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Computational adequacy via ‘mixed’ inductive definitions
Lecture Notes in Computer Science | 2023-04-28 | Paper |
Quotients, inductive types, and quotient inductive types
| 2022-08-02 | Paper |
Internal universes in models of homotopy type theory
| 2021-06-15 | Paper |
Constructing infinitary quotient-inductive types
| 2020-09-23 | Paper |
Typal heterogeneous equality types
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
Models of Type Theory Based on Moore Paths
| 2020-05-26 | Paper |
Modal dependent type theory and dependent right adjoints
Mathematical Structures in Computer Science | 2020-03-11 | Paper |
scientific article; zbMATH DE number 7003193 (Why is no real title available?)
| 2019-01-18 | Paper |
Models of type theory based on Moore paths
| 2019-01-18 | Paper |
Axioms for modelling cubical type theory in a topos
| 2017-07-19 | Paper |
Nominal presentation of cubical sets models of type theory
| 2017-07-12 | Paper |
A dependent type theory with abstractable names
| 2016-08-01 | Paper |
Denotational semantics with nominal Scott domains
Journal of the ACM | 2015-08-14 | Paper |
FreshML: programming with binders made simple
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
Nominal system T
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
Full abstraction for nominal Scott domains
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
Generative unbinding of names
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Contextual equivalence for inductive definitions with binders in higher order typed functional programming
Journal of Functional Programming | 2014-08-14 | Paper |
Nominal equational logic
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Nominal sets. Names and symmetry in computer science
Cambridge Tracts in Theoretical Computer Science | 2013-09-23 | Paper |
Encoding abstract syntax without fresh names
Journal of Automated Reasoning | 2013-08-01 | Paper |
System F i
Lecture Notes in Computer Science | 2013-06-28 | Paper |
Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
Relating two semantics of locally scoped names
| 2012-09-18 | Paper |
Structural recursion with locally scoped names
Journal of Functional Programming | 2011-07-14 | Paper |
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming
Programming Languages and Systems | 2009-03-31 | Paper |
Alpha-structural recursion and induction
Journal of the ACM | 2008-12-21 | Paper |
Generative Unbinding of Names
Logical Methods in Computer Science | 2008-08-07 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Theorem Proving in Higher Order Logics
| 2006-07-06 | Paper |
scientific article; zbMATH DE number 2242589 (Why is no real title available?)
| 2006-01-02 | Paper |
On a monadic semantics for freshness
Theoretical Computer Science | 2005-09-22 | Paper |
scientific article; zbMATH DE number 2185675 (Why is no real title available?)
| 2005-07-04 | Paper |
Nominal logic, a first order theory of names and binding
Information and Computation | 2004-11-23 | Paper |
Nominal unification
Theoretical Computer Science | 2004-10-01 | Paper |
scientific article; zbMATH DE number 2090728 (Why is no real title available?)
| 2004-08-13 | Paper |
scientific article; zbMATH DE number 2086607 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 1995140 (Why is no real title available?)
| 2003-10-22 | Paper |
Tripos theory in retrospect
Mathematical Structures in Computer Science | 2002-10-31 | Paper |
A new approach to abstract syntax with variable binding
Formal Aspects of Computing | 2002-09-25 | Paper |
scientific article; zbMATH DE number 1612495 (Why is no real title available?)
| 2001-07-01 | Paper |
Operational reasoning for functions with local state
| 2001-03-19 | Paper |
scientific article; zbMATH DE number 1497734 (Why is no real title available?)
| 2001-03-06 | Paper |
Parametric polymorphism and operational equivalence
Mathematical Structures in Computer Science | 2000-09-04 | Paper |
Process calculus based upon evaluation to committed form
Theoretical Computer Science | 1999-06-22 | Paper |
scientific article; zbMATH DE number 1241702 (Why is no real title available?)
| 1999-01-18 | Paper |
scientific article; zbMATH DE number 1231605 (Why is no real title available?)
| 1999-01-06 | Paper |
A note on logical relations between semantics and syntax
Logic Journal of the IGPL | 1997-12-08 | Paper |
Relational properties of domains
Information and Computation | 1997-08-17 | Paper |
scientific article; zbMATH DE number 860036 (Why is no real title available?)
| 1996-11-25 | Paper |
A co-induction principle for recursively defined domains
Theoretical Computer Science | 1994-04-05 | Paper |
On an interpretation of second order quantification in first order intuitionistic propositional logic
Journal of Symbolic Logic | 1992-09-27 | Paper |
New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
Information and Computation | 1992-09-27 | Paper |
Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4187810 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4179331 (Why is no real title available?)
| 1989-01-01 | Paper |
Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
Proceedings of the London Mathematical Society | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4049849 (Why is no real title available?)
| 1987-01-01 | Paper |
Some Results on Locally Finitely Presentable Categories
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4065237 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3916527 (Why is no real title available?)
| 1985-01-01 | Paper |
Amalgamation and interpolation in the category of Heyting algebras
Journal of Pure and Applied Algebra | 1983-01-01 | Paper |
An application of open maps to categorical logic
Journal of Pure and Applied Algebra | 1983-01-01 | Paper |
Fuzzy sets do not form a topos
Fuzzy Sets and Systems | 1982-01-01 | Paper |
Tripos theory
Mathematical Proceedings of the Cambridge Philosophical Society | 1980-01-01 | Paper |
