| Publication | Date of Publication | Type |
|---|
Polymorphic Automorphisms and the Picard Group.
| 2023-06-23 | Paper |
Finiteness spaces and generalized power series
| 2022-05-03 | Paper |
Isotropy of algebraic theories
| 2022-05-03 | Paper |
Characterizations of classes of countable Boolean inverse monoids
| 2022-04-21 | Paper |
Aspects of categorical recursion theory
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | 2021-12-08 | Paper |
Formalizing abstract computability: Turing categories in Coq
| 2019-11-12 | Paper |
On geometry of interaction for polarized linear logic
Mathematical Structures in Computer Science | 2018-10-25 | Paper |
Finiteness spaces and generalized power series
| 2018-05-24 | Paper |
AF inverse monoids and the structure of countable MV-algebras
Journal of Pure and Applied Algebra | 2016-09-05 | Paper |
Reflections on the categorical foundations of mathematics
The Western Ontario Series in Philosophy of Science | 2015-07-01 | Paper |
Proofs as Polynomials
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
From geometry of interaction to denotational semantics
| 2013-09-20 | Paper |
Presheaf models of quantum computation: an outline
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Partially traced categories
Journal of Pure and Applied Algebra | 2013-03-06 | Paper |
Categorical traces from single-photon linear optics
| 2012-10-01 | Paper |
Geometry of interaction and the dynamics of proof reduction: a tutorial
New Structures for Physics | 2011-05-31 | Paper |
Towards a typed geometry of interaction
Mathematical Structures in Computer Science | 2010-06-02 | Paper |
A categorical semantics for polarized MALL
Annals of Pure and Applied Logic | 2007-02-14 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
A categorical model for the geometry of interaction
Theoretical Computer Science | 2006-03-20 | Paper |
An exactification of the monoid of primitive recursive functions
Studia Logica | 2006-03-17 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
scientific article; zbMATH DE number 2134910 (Why is no real title available?)
| 2005-02-18 | Paper |
Softness of hypercoherences and MALL full completeness
Annals of Pure and Applied Logic | 2005-01-31 | Paper |
Realizability models for BLL-like languages
Theoretical Computer Science | 2004-08-06 | Paper |
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science | 2003-03-13 | Paper |
scientific article; zbMATH DE number 1522506 (Why is no real title available?)
| 2001-08-28 | Paper |
The shuffle Hopf algebra and noncommutative full completeness
Journal of Symbolic Logic | 1999-11-29 | Paper |
Normalization and the Yoneda embedding
Mathematical Structures in Computer Science | 1999-08-17 | Paper |
scientific article; zbMATH DE number 1231512 (Why is no real title available?)
| 1998-12-13 | Paper |
Linear Läuchli semantics
Annals of Pure and Applied Logic | 1997-02-11 | Paper |
scientific article; zbMATH DE number 794260 (Why is no real title available?)
| 1995-09-10 | Paper |
On the \(\pi\)-calculus and linear logic
Theoretical Computer Science | 1995-02-09 | Paper |
scientific article; zbMATH DE number 193320 (Why is no real title available?)
| 1993-06-05 | Paper |
scientific article; zbMATH DE number 176206 (Why is no real title available?)
| 1993-05-18 | Paper |
Bounded linear logic: A modular approach to polynomial-time computability
Theoretical Computer Science | 1992-09-27 | Paper |
scientific article; zbMATH DE number 65746 (Why is no real title available?)
| 1992-09-27 | Paper |
An algebraic treatment of the Barwise compactness theory
Studia Logica | 1992-06-27 | Paper |
Functorial polymorphism
Theoretical Computer Science | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4103048 (Why is no real title available?)
| 1989-01-01 | Paper |
Completeness proofs for propositional logic with polynomial-time connectives
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4154448 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4068864 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3959364 (Why is no real title available?)
| 1986-01-01 | Paper |
Lambda‐Algebras and C‐Monoids
Mathematical Logic Quarterly | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3875278 (Why is no real title available?)
| 1984-01-01 | Paper |
NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES
Mathematical Logic Quarterly | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3839955 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3732046 (Why is no real title available?)
| 1981-01-01 | Paper |
Intuitionist type theory and foundations
Journal of Philosophical Logic | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3741397 (Why is no real title available?)
| 1981-01-01 | Paper |
Intuitionist type theory and the free topos
Journal of Pure and Applied Algebra | 1980-01-01 | Paper |
The „Dialectica”︁ Interpretation and Categories
Mathematical Logic Quarterly | 1978-01-01 | Paper |
