| Publication | Date of Publication | Type |
|---|
The existential fragment of second-order propositional intuitionistic logic is undecidable
Journal of Applied Non-Classical Logics | 2024-03-20 | Paper |
Z property for the shuffling calculus
Mathematical Structures in Computer Science | 2023-02-28 | Paper |
Confluence proofs of lambda-mu-calculi by Z theorem
Studia Logica | 2021-12-27 | Paper |
A formal system of reduction paths for parallel reduction
Theoretical Computer Science | 2020-04-21 | Paper |
Neighbourhood and lattice models of second-order intuitionistic propositional logic
Fundamenta Informaticae | 2020-01-24 | Paper |
The Church-Rosser theorem and quantitative analysis of witnesses
Information and Computation | 2018-12-03 | Paper |
Compositional Z: confluence proofs for permutative conversion
Studia Logica | 2017-03-02 | Paper |
| Decidable structures between Church-style and Curry-style | 2017-02-01 | Paper |
Reduction rules for intuitionistic \(\lambda\rho\)-calculus
Studia Logica | 2015-12-07 | Paper |
A note on subject reduction in \((\to, \exists)\)-Curry with respect to complete developments
Information Processing Letters | 2015-06-25 | Paper |
Existential type systems between Church and Curry style (type-free style)
Theoretical Computer Science | 2014-08-27 | Paper |
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types
Information and Computation | 2012-11-27 | Paper |
| THE UNDECIDABILITY OF TYPE RELATED PROBLEMS IN TYPE -FREE STYLE SYSTEM F | 2012-04-25 | Paper |
Inhabitation of polymorphic and existential types
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
CPS-translation as adjoint
Theoretical Computer Science | 2009-12-15 | Paper |
Existential Type Systems with No Types in Terms
Lecture Notes in Computer Science | 2009-07-07 | Paper |
Typed Lambda Calculi and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2061706 (Why is no real title available?) | 2004-03-22 | Paper |
| scientific article; zbMATH DE number 2053247 (Why is no real title available?) | 2004-03-08 | Paper |
An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus.
Information Processing Letters | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1910399 (Why is no real title available?) | 2003-01-01 | Paper |
| scientific article; zbMATH DE number 1759491 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1788632 (Why is no real title available?) | 2002-08-26 | Paper |
Domain-free \(\lambda\mu\)-calculus
RAIRO. Theoretical Informatics and Applications | 2001-12-12 | Paper |
Multiple-conclusion system as communication calculus---informal meaning of proofs as communication terms
RIMS Kokyuroku | 2001-09-23 | Paper |
On proof terms and embeddings of classical substructural logics
Studia Logica | 2001-06-13 | Paper |
A binary-conclusion natural deduction system
Logic Journal of the IGPL | 2001-03-22 | Paper |
| scientific article; zbMATH DE number 1497856 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1380894 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1377712 (Why is no real title available?) | 1999-12-14 | Paper |
| scientific article; zbMATH DE number 1373385 (Why is no real title available?) | 1999-12-02 | Paper |
| scientific article; zbMATH DE number 1342279 (Why is no real title available?) | 1999-11-21 | Paper |
| scientific article; zbMATH DE number 1222431 (Why is no real title available?) | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1104448 (Why is no real title available?) | 1998-06-29 | Paper |
| scientific article; zbMATH DE number 996392 (Why is no real title available?) | 1997-04-03 | Paper |
On the adequacy of representing higher order intuitionistic logic as a pure type system
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
