| Publication | Date of Publication | Type |
|---|
| Permutability in proof terms for intuitionistic sequent calculus with cuts | 2026-02-20 | Paper |
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
Journal of Logical and Algebraic Methods in Programming | 2023-02-03 | Paper |
| scientific article; zbMATH DE number 7559284 (Why is no real title available?) | 2022-07-18 | Paper |
Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus
Journal of Logical and Algebraic Methods in Programming | 2022-05-25 | Paper |
A coinductive approach to proof search through typed lambda-calculi
Annals of Pure and Applied Logic | 2021-09-30 | Paper |
| Confluence for classical logic through the distinction between values and computations | 2021-06-24 | Paper |
Confluence for classical logic through the distinction between values and computations
(available as arXiv preprint) | 2021-06-24 | Paper |
| A coinductive approach to proof search | 2021-06-10 | Paper |
A coinductive approach to proof search
(available as arXiv preprint) | 2021-06-10 | Paper |
| Relating sequent calculi for bi-intuitionistic propositional logic | 2021-03-03 | Paper |
Relating sequent calculi for bi-intuitionistic propositional logic
(available as arXiv preprint) | 2021-03-03 | Paper |
Positivity preserving schemes for the fractional Klein-Kramers equation with boundaries
Communications in Nonlinear Science and Numerical Simulation | 2020-12-03 | Paper |
Numerical solution of a time-space fractional Fokker Planck equation with variable force field and diffusion
Communications in Nonlinear Science and Numerical Simulation | 2020-10-14 | Paper |
Aging Effect on Iontophoretic Transdermal Drug Delivery
SIAM Journal on Applied Mathematics | 2020-08-26 | Paper |
| Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic | 2020-07-31 | Paper |
On the accurate simulation of nearshore and dam break problems involving dispersive breaking waves
Wave Motion | 2020-06-26 | Paper |
Decidability of several concepts of finiteness for simple types
Fundamenta Informaticae | 2020-01-24 | Paper |
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
Mathematical Structures in Computer Science | 2019-10-09 | Paper |
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Journal Of Logic And Computation | 2018-09-28 | Paper |
Distributed Linear-Quadratic Control of Serially Chained Systems: Application to a Water Delivery Canal [Applications of Control]
IEEE Control Systems | 2018-09-14 | Paper |
Non-Fickian convection-diffusion models in porous media
Numerische Mathematik | 2018-04-11 | Paper |
An integro-differential model for non-Fickian tracer transport in porous media: validation and numerical simulation
Mathematical Methods in the Applied Sciences | 2016-11-01 | Paper |
A Coinductive Approach to Proof Search through Typed Lambda-Calculi
(available as arXiv preprint) | 2016-02-13 | Paper |
A calculus of multiary sequent terms
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Monadic translation of classical sequent calculus
Mathematical Structures in Computer Science | 2014-04-16 | Paper |
Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Monadic Translation of Intuitionistic Sequent Calculus
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
Logical Methods in Computer Science | 2009-06-30 | Paper |
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
Lecture Notes in Computer Science | 2009-03-10 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2005-12-23 | Paper |
| scientific article; zbMATH DE number 2061717 (Why is no real title available?) | 2004-03-22 | Paper |
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
Studia Logica | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1390270 (Why is no real title available?) | 2000-01-17 | Paper |
Permutability of proofs in intuitionistic sequent calculi
Theoretical Computer Science | 1999-01-12 | Paper |
| scientific article; zbMATH DE number 1231701 (Why is no real title available?) | 1999-01-10 | Paper |
| scientific article; zbMATH DE number 895271 (Why is no real title available?) | 1996-10-27 | Paper |
