| 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
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Bounding normalization time through intersection types
| 2021-06-10 | Paper |
Standardization in resource \(\lambda\)-calculus
| 2021-04-27 | Paper |
Solvability = typability + inhabitation
| 2021-03-26 | Paper |
Intersection logic in sequent calculus style
| 2021-03-03 | Paper |
New semantical insights into call-by-value \(\lambda\)-calculus
Fundamenta Informaticae | 2020-01-24 | Paper |
Call-by-value, elementary time and intersection types
| 2018-10-25 | Paper |
Inhabitation for non-idempotent intersection types
| 2018-08-15 | Paper |
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus
Information and Computation | 2018-06-14 | Paper |
scientific article; zbMATH DE number 6825409 (Why is no real title available?)
| 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
Mathematical Structures in Computer Science | 2017-06-14 | Paper |
Logical semantics for stability
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization
Information and Computation | 2016-05-03 | Paper |
An implicit characterization of PSPACE
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
The Inhabitation Problem for Non-idempotent Intersection Types
Advanced Information Systems Engineering | 2014-09-15 | Paper |
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus
Advanced Information Systems Engineering | 2014-09-15 | Paper |
A logical account of pspace
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Soft linear logic and polynomial complexity classes
Electronic Notes in Theoretical Computer Science | 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
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
Intersection types from a proof-theoretic perspective
Fundamenta Informaticae | 2013-01-24 | Paper |
Linearity, non-determinism and solvability
Fundamenta Informaticae | 2011-05-18 | Paper |
Strong normalization from an unusual point of view
Theoretical Computer Science | 2011-05-10 | Paper |
Solvability in resource lambda-calculus
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
Intersection, Universally Quantified, and Reference Types
Computer Science Logic | 2009-11-12 | Paper |
From light logics to type assignments: a case study
Logic Journal of the IGPL | 2009-11-12 | Paper |
Type Inference for a Polynomial Lambda Calculus
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Light Logics and the Call-by-Value Lambda Calculus
Logical Methods in Computer Science | 2009-04-29 | Paper |
A Soft Type Assignment System for λ-Calculus
Computer Science Logic | 2009-03-05 | Paper |
Intersection-types à la Church
Information and Computation | 2007-09-18 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Typed Lambda Calculi and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
scientific article; zbMATH DE number 2185674 (Why is no real title available?)
| 2005-07-04 | Paper |
scientific article; zbMATH DE number 2182488 (Why is no real title available?)
| 2005-06-23 | Paper |
The parametric lambda calculus. A metamodel for computation.
Texts in Theoretical Computer Science. An EATCS Series | 2005-01-12 | Paper |
Parametric parameter passing \(\lambda\)-calculus
Information and Computation | 2004-11-23 | Paper |
scientific article; zbMATH DE number 2061704 (Why is no real title available?)
| 2004-03-22 | Paper |
Alpha-conversion and typability
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1841834 (Why is no real title available?)
| 2002-12-04 | Paper |
scientific article; zbMATH DE number 1499110 (Why is no real title available?)
| 2000-09-03 | Paper |
The call-by-value λ-calculus: a semantic investigation
Mathematical Structures in Computer Science | 2000-05-17 | Paper |
Call-by-value Solvability
RAIRO - Theoretical Informatics and Applications | 2000-05-09 | Paper |
Structured Operational Semantics of a fragment of the language Scheme
Journal of Functional Programming | 1999-05-18 | Paper |
Lambda calculus and intuitionistic linear logic
Studia Logica | 1998-02-11 | Paper |
Comparing cubes of typed and type assignment systems
Annals of Pure and Applied Logic | 1997-10-23 | Paper |
A type inference algorithm for a stratified polymorphic type discipline
Information and Computation | 1994-05-05 | 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 |
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 92599 (Why is no real title available?)
| 1993-01-16 | Paper |
Principal type scheme and unification for intersection type discipline
Theoretical Computer Science | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4049615 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4087629 (Why is no real title available?)
| 1987-01-01 | Paper |
Characterization theorems for a filter lambda model
Information and Control | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3735772 (Why is no real title available?)
| 1981-01-01 | Paper |
A discrimination algorithm inside \(\lambda -\beta\)-calculus
Theoretical Computer Science | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3659565 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3611324 (Why is no real title available?)
| 1978-01-01 | Paper |
Reduction of storage employed to represent families of information structures
Calcolo | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3483552 (Why is no real title available?)
| 1974-01-01 | Paper |
