| Publication | Date of Publication | Type |
|---|
| Lambda calculus and probabilistic computation | 2024-12-19 | Paper |
| A quantitative version of simple types | 2024-10-21 | Paper |
| Type inference in polymorphic type discipline | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993853 | 2021-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986738 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856410 | 2021-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964689 | 2021-03-03 | Paper |
| New Semantical Insights Into Call-by-Value λ-Calculus | 2020-01-24 | Paper |
| Call-by-value, elementary time and intersection types | 2018-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580327 | 2018-08-15 | Paper |
| Characterizing polynomial and exponential complexity classes in elementary lambda-calculus | 2018-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4600771 | 2018-01-12 | Paper |
| Standardization of a Call-By-Value Lambda-Calculus | 2017-07-12 | Paper |
| Observability for Pair Pattern Calculi | 2017-07-12 | Paper |
| Essential and relational models | 2017-06-14 | Paper |
| Logical semantics for stability | 2016-05-10 | Paper |
| A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization | 2016-05-03 | Paper |
| An Implicit Characterization of PSPACE | 2015-09-17 | Paper |
| The Inhabitation Problem for Non-idempotent Intersection Types | 2014-09-15 | Paper |
| Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus | 2014-09-15 | Paper |
| A logical account of pspace | 2014-09-12 | Paper |
| Soft linear logic and polynomial complexity classes | 2013-12-13 | Paper |
| Towards an intersection typed system à la Church | 2013-10-02 | Paper |
| Lazy strong normalization | 2013-10-02 | Paper |
| Lazy logical semantics | 2013-09-11 | Paper |
| Intersection typed \(\lambda \)-calculus | 2013-08-16 | Paper |
| Intersection Types from a Proof-theoretic Perspective | 2013-01-24 | Paper |
| Linearity, Non-determinism and Solvability | 2011-05-18 | Paper |
| Strong normalization from an unusual point of view | 2011-05-10 | Paper |
| Solvability in Resource Lambda-Calculus | 2010-04-27 | Paper |
| Intersection, Universally Quantified, and Reference Types | 2009-11-12 | Paper |
| From light logics to type assignments: a case study | 2009-11-12 | Paper |
| Type Inference for a Polynomial Lambda Calculus | 2009-07-02 | Paper |
| Light Logics and the Call-by-Value Lambda Calculus | 2009-04-29 | Paper |
| A Soft Type Assignment System for λ-Calculus | 2009-03-05 | Paper |
| Intersection-types à la Church | 2007-09-18 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Typed Lambda Calculi and Applications | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024851 | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681363 | 2005-06-23 | Paper |
| The parametric lambda calculus. A metamodel for computation. | 2005-01-12 | Paper |
| Parametric parameter passing \(\lambda\)-calculus | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457451 | 2004-03-22 | Paper |
| Alpha-conversion and typability | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783322 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501164 | 2000-09-03 | Paper |
| The call-by-value λ-calculus: a semantic investigation | 2000-05-17 | Paper |
| Call-by-value Solvability | 2000-05-09 | Paper |
| Structured Operational Semantics of a fragment of the language Scheme | 1999-05-18 | Paper |
| Lambda calculus and intuitionistic linear logic | 1998-02-11 | Paper |
| Comparing cubes of typed and type assignment systems | 1997-10-23 | Paper |
| A type inference algorithm for a stratified polymorphic type discipline | 1994-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142164 | 1993-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035237 | 1993-05-18 | Paper |
| An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018065 | 1993-01-16 | Paper |
| Principal type scheme and unification for intersection type discipline | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786467 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816053 | 1987-01-01 | Paper |
| Characterization theorems for a filter lambda model | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922648 | 1981-01-01 | Paper |
| A discrimination algorithm inside \(\lambda -\beta\)-calculus | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3858241 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4175261 | 1978-01-01 | Paper |
| Reduction of storage employed to represent families of information structures | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4066583 | 1974-01-01 | Paper |
