| Publication | Date of Publication | Type |
|---|
The Theory of an Arbitrary Higher \(\lambda\)-Model
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Towards a homotopy domain theory
Archive for Mathematical Logic | 2023-04-27 | Paper |
From Tractatus to Later Writings and Back -- New Implications from the Nachlass
| 2023-04-21 | Paper |
\(\infty\)-groupoid generated by an arbitrary topological \(\lambda\)-model
Logic Journal of the IGPL | 2022-07-22 | Paper |
Some applications of the formalization of the pumping lemma for context-free languages
| 2019-11-13 | Paper |
Propositional intuitionistic multiple-conclusion calculus via proof graphs
Logic Journal of the IGPL | 2019-11-04 | Paper |
Formalization of the pumping lemma for context-free languages
| 2019-09-18 | Paper |
On the identity type as the type of computational paths
Logic Journal of the IGPL | 2019-01-08 | Paper |
Normalization of N-graphs via sub-N-graphs
| 2018-04-23 | Paper |
On the formalization of some results of context-free language theory
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Natural Deduction for Equality: The Missing Entity
Trends in Logic | 2015-05-22 | Paper |
The functional interpretation of direct computations
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
Intuitionistic N-graphs
Logic Journal of the IGPL | 2015-02-27 | Paper |
Sequentialization for \(n\)-graphs via sub-\(n\)-graphs
Logic, Language, Information, and Computation | 2015-01-13 | Paper |
Sequences of Rewrites: A Categorical Interpretation
| 2014-12-05 | Paper |
Linear time proof verification on N-graphs: a graph theoretic approach
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Proof-graphs: a thorough cycle treatment, normalization and subformula property
Fundamenta Informaticae | 2011-11-22 | Paper |
The functional interpretation of logical deduction
| 2011-09-13 | Paper |
A new basic set of transformations between proofs
| 2011-07-06 | Paper |
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
Logic, Language, Information and Computation | 2009-07-02 | Paper |
On reduction rules, meaning-as-use, and proof-theoretic semantics
Studia Logica | 2009-03-17 | Paper |
On the descriptive complexity of the two disjoint paths problem over undirected graphs
| 2008-05-02 | Paper |
Descriptive complexity of modularity problems on graphs
| 2007-04-25 | Paper |
On dividing chains in simple theories
Archive for Mathematical Logic | 2005-11-24 | Paper |
scientific article; zbMATH DE number 2020175 (Why is no real title available?)
| 2003-01-01 | Paper |
Meaning, function, purpose, usefulness, \textit{consequences} -- interconnected concepts
Logic Journal of the IGPL | 2002-06-16 | Paper |
scientific article; zbMATH DE number 1421197 (Why is no real title available?)
| 2001-02-05 | Paper |
A normalization procedure for the equational fragment of labelled natural deduction
Logic Journal of the IGPL | 1999-10-28 | Paper |
scientific article; zbMATH DE number 1163389 (Why is no real title available?)
| 1998-06-11 | Paper |
The Functional Interpretation of the Existential Quantifier
Logic Journal of the IGPL | 1996-02-18 | Paper |
Extending the Curry-Howard interpretation to linear, relevant and other resource logics
Journal of Symbolic Logic | 1993-04-01 | Paper |
Abstract Data Types and Type Theory: Theories as Types
Mathematical Logic Quarterly | 1991-01-01 | Paper |
Proof theory and computer programming
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
