| Publication | Date of Publication | Type |
|---|
| Gluing together proof environments: canonical extensions of LF type theories featuring locks | 2025-08-19 | Paper |
| A definitional implementation of the Lax logical framework \(\mathsf{LLF}_{\mathscr{P}}\) in \texttt{Coq}, for supporting fast and loose reasoning | 2025-08-19 | Paper |
Principal types as partial involutions
Mathematical Structures in Computer Science | 2025-04-25 | Paper |
Processes and hyperuniverses
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
scientific article; zbMATH DE number 7561342 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-21 | Paper |
| lambda!-calculus, Intersection Types, and Involutions | 2022-07-18 | Paper |
| On Quantitative Algebraic Higher-Order Theories | 2022-04-28 | Paper |
| LF+ in Coq for "fast and loose" reasoning | 2020-01-21 | Paper |
The involutions-as-principal types/application-as-unification analogy
EPiC Series in Computing | 2019-07-04 | Paper |
A natural deduction approach to dynamic logic
Lecture Notes in Computer Science | 2019-01-15 | Paper |
Plugging-in proof development environments using \textit{locks} in \(\mathsf{LF}\)
Mathematical Structures in Computer Science | 2018-10-19 | Paper |
\(\mathsf{LLF}_{\mathcal{P}}\): a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads
(available as arXiv preprint) | 2017-07-13 | Paper |
A complete characterization of complete intersection-type preorders
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Implementing Cantor's paradise
Programming Languages and Systems | 2016-12-21 | Paper |
An open logical framework
Journal of Logic and Computation | 2016-04-28 | Paper |
Categories of coalgebraic games with selective sum
Fundamenta Informaticae | 2015-06-26 | Paper |
L ax F: Side Conditions and External Evidence as Monads
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
A framework for defining logical frameworks
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Some properties and some problems on set functors | 2013-12-04 | Paper |
| Functors determined by values on objects | 2013-10-10 | Paper |
| Coalgebraic description of generalized binary methods | 2013-10-02 | Paper |
| Coalgebraic semantics and observational equivalences of an imperative class-based OO-language | 2013-09-11 | Paper |
| Properties of set functors | 2013-09-11 | Paper |
| Modeling fresh names in the {\(\pi\)}-calculus using abstractions | 2013-09-11 | Paper |
| Generalized coiteration schemata | 2013-08-23 | Paper |
The theory of contexts for first order and higher order abstract syntax
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Comparing higher-order encodings in logical frameworks and tile logic
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Unfixing the fixpoint: the theories of the \(\lambda Y\)-calculus
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Categories of coalgebraic games
Mathematical Foundations of Computer Science 2012 | 2012-09-25 | Paper |
Equivalences and congruences on infinite Conway games
RAIRO. Theoretical Informatics and Applications | 2012-06-04 | Paper |
Equivalences and congruences on infinite Conway games
RAIRO. Theoretical Informatics and Applications | 2012-06-04 | Paper |
Conway games, coalgebraically
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Conway games, algebraically and coalgebraically
Logical Methods in Computer Science | 2012-04-02 | Paper |
| Strict geometry of interaction graph models | 2010-02-24 | Paper |
A coalgebraic description of web interactions.
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
RPO, Second-order Contexts, and Lambda-calculus
Logical Methods in Computer Science | 2009-08-20 | Paper |
On the completeness of order-theoretic models of the \(\lambda \)-calculus
Information and Computation | 2009-06-08 | Paper |
A Conditional Logical Framework
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
A type assignment system for game semantics
Theoretical Computer Science | 2008-06-24 | Paper |
RPO, Second-Order Contexts, and λ-Calculus
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Coalgebraic description of generalised binary methods
Mathematical Structures in Computer Science | 2007-09-06 | Paper |
Consistency of the theory of contexts
Journal of Functional Programming | 2006-06-09 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Compositional characterisations of \(\lambda\)-terms using intersection types
Theoretical Computer Science | 2005-09-22 | Paper |
| scientific article; zbMATH DE number 2185665 (Why is no real title available?) | 2005-07-04 | Paper |
| scientific article; zbMATH DE number 2044491 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 1424059 (Why is no real title available?) | 2003-08-25 | Paper |
A category of compositional domain-models for separable Stone spaces.
Theoretical Computer Science | 2003-01-21 | Paper |
Prelogical relations
Information and Computation | 2003-01-14 | Paper |
Positive qualities and the ontological argument
Ricerche di Matematica | 2002-12-17 | Paper |
| scientific article; zbMATH DE number 1759417 (Why is no real title available?) | 2002-11-04 | Paper |
| scientific article; zbMATH DE number 1754648 (Why is no real title available?) | 2002-06-12 | Paper |
Approximation theorems for intersection type systems
Journal of Logic and Computation | 2002-05-05 | Paper |
| scientific article; zbMATH DE number 1497878 (Why is no real title available?) | 2001-03-05 | Paper |
Encoding modal logics in logical frameworks
Studia Logica | 2001-02-14 | Paper |
| scientific article; zbMATH DE number 1512616 (Why is no real title available?) | 2001-01-17 | Paper |
-calculus in (Co)inductive-type theory
Theoretical Computer Science | 2000-12-12 | Paper |
| scientific article; zbMATH DE number 1418431 (Why is no real title available?) | 2000-03-19 | Paper |
Coinductive characterizations of applicative structures
Mathematical Structures in Computer Science | 1999-11-25 | Paper |
Addendum and corrigendum: ``Choice principle in hyperuniverses''
Annals of Pure and Applied Logic | 1999-11-08 | Paper |
| scientific article; zbMATH DE number 1342276 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1333599 (Why is no real title available?) | 1999-09-19 | Paper |
Structured Operational Semantics of a fragment of the language Scheme
Journal of Functional Programming | 1999-05-18 | Paper |
Semantical analysis of perpetual strategies in -calculus
Theoretical Computer Science | 1999-01-12 | Paper |
| scientific article; zbMATH DE number 1107496 (Why is no real title available?) | 1998-01-21 | Paper |
An axiomatization of partial <i>n</i>-place operations
Mathematical Structures in Computer Science | 1998-01-05 | Paper |
Choice principles in hyperuniverses
Annals of Pure and Applied Logic | 1997-03-11 | Paper |
A general construction of hyperuniverses
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 720178 (Why is no real title available?) | 1996-06-25 | Paper |
| scientific article; zbMATH DE number 794258 (Why is no real title available?) | 1996-06-25 | Paper |
| scientific article; zbMATH DE number 515740 (Why is no real title available?) | 1996-04-16 | Paper |
A variable typed logic of effects
Information and Computation | 1995-08-01 | Paper |
| scientific article; zbMATH DE number 512776 (Why is no real title available?) | 1994-03-10 | Paper |
Using typed lambda calculus to implement formal systems on a machine
Journal of Automated Reasoning | 1993-12-20 | Paper |
| scientific article; zbMATH DE number 445157 (Why is no real title available?) | 1993-12-05 | Paper |
| scientific article; zbMATH DE number 176136 (Why is no real title available?) | 1993-05-18 | Paper |
A framework for defining logics
Journal of the ACM | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 92599 (Why is no real title available?) | 1993-01-16 | Paper |
An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
Journal of Computer and System Sciences | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 65532 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4164821 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4092734 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4087629 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4019051 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4033748 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3983153 (Why is no real title available?) | 1985-01-01 | Paper |
The consistency of the axiom of universality for the ordering of cardinalities
Journal of Symbolic Logic | 1985-01-01 | Paper |
A Model where Cardinal Ordering is Universal
Mathematical Logic Quarterly | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3889502 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3878918 (Why is no real title available?) | 1984-01-01 | Paper |
COMPARISON OF THE AXIOMS OF LOCAL AND GLOBAL UNIVERSALITY
Mathematical Logic Quarterly | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3859115 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3859115 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3811559 (Why is no real title available?) | 1983-01-01 | Paper |
