Luís Pinto

Available identifiers

zbMath Open pinto.luis-fMaRDI QIDQ1275624

List of research outcomes

Publication	Date of Publication	Type
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5089020	2022-07-18	Paper
Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus	2022-05-25	Paper
A coinductive approach to proof search through typed lambda-calculi	2021-09-30	Paper
Confluence for classical logic through the distinction between values and computations	2021-06-24	Paper
A coinductive approach to proof search	2021-06-10	Paper
Relating sequent calculi for bi-intuitionistic propositional logic	2021-03-03	Paper
Positivity preserving schemes for the fractional Klein-Kramers equation with boundaries	2020-12-03	Paper
Numerical solution of a time-space fractional Fokker Planck equation with variable force field and diffusion	2020-10-14	Paper
Aging Effect on Iontophoretic Transdermal Drug Delivery	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	2020-06-26	Paper
Decidability of several concepts of finiteness for simple types	2020-01-24	Paper
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search	2019-10-09	Paper
A proof-theoretic study of bi-intuitionistic propositional sequent calculus	2018-09-28	Paper
Distributed Linear-Quadratic Control of Serially Chained Systems: Application to a Water Delivery Canal [Applications of Control]	2018-09-14	Paper
Non-Fickian convection-diffusion models in porous media	2018-04-11	Paper
An integro-differential model for non-Fickian tracer transport in porous media: validation and numerical simulation	2016-11-01	Paper
A Coinductive Approach to Proof Search through Typed Lambda-Calculi	2016-02-13	Paper
A calculus of multiary sequent terms	2015-09-17	Paper
Monadic translation of classical sequent calculus	2014-04-16	Paper
Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents	2009-12-01	Paper
Monadic Translation of Intuitionistic Sequent Calculus	2009-07-02	Paper
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi	2009-06-30	Paper
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi	2009-03-10	Paper
Types for Proofs and Programs	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4457465	2004-03-22	Paper
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4934557	2000-01-17	Paper
Permutability of proofs in intuitionistic sequent calculi	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4223032	1999-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4883282	1996-10-27	Paper

Research outcomes over time

This page was built for person: Luís Pinto