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
https://portal.mardi4nfdi.de/entity/Q4995381	2021-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4992896	2021-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4964699	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luís Pinto