The following pages link to Luís Pinto (Q1275624):
Displaying 32 items.
- Permutability of proofs in intuitionistic sequent calculi (Q1275625) (← links)
- (Q1577340) (redirect page) (← links)
- Cut-elimination and a permutation-free sequent calculus for intuitionistic logic (Q1577341) (← links)
- Non-Fickian convection-diffusion models in porous media (Q1742489) (← links)
- Numerical solution of a time-space fractional Fokker Planck equation with variable force field and diffusion (Q2007379) (← links)
- Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus (Q2141293) (← links)
- On the accurate simulation of nearshore and dam break problems involving dispersive breaking waves (Q2191925) (← links)
- Positivity preserving schemes for the fractional Klein-Kramers equation with boundaries (Q2213895) (← links)
- A coinductive approach to proof search through typed lambda-calculi (Q2231698) (← links)
- Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications (Q2683029) (← links)
- An integro‐differential model for non‐Fickian tracer transport in porous media: validation and numerical simulation (Q2831019) (← links)
- A calculus of multiary sequent terms (Q2946641) (← links)
- Monadic Translation of Intuitionistic Sequent Calculus (Q3638248) (← links)
- Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents (Q3648737) (← links)
- (Q4223032) (← links)
- (Q4457465) (← links)
- A proof-theoretic study of bi-intuitionistic propositional sequent calculus (Q4684356) (← links)
- (Q4883282) (← links)
- (Q4934557) (← links)
- (Q4964699) (← links)
- (Q4992896) (← links)
- (Q4995381) (← links)
- (Q5089020) (← links)
- Aging Effect on Iontophoretic Transdermal Drug Delivery (Q5117980) (← links)
- Decidability of Several Concepts of Finiteness for Simple Types (Q5212035) (← links)
- Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search (Q5236550) (← links)
- Distributed Linear-Quadratic Control of Serially Chained Systems: Application to a Water Delivery Canal [Applications of Control] (Q5375805) (← links)
- Monadic translation of classical sequent calculus (Q5410235) (← links)
- Types for Proofs and Programs (Q5712305) (← links)
- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (Q5901474) (← links)
- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (Q5902124) (← links)
- Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic (Q6346261) (← links)
