Lu\'is Pinto

Identifiers

• name variant Lu\'is Pinto 0.60 · backfill

Papers (4)

1. Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search cs.LO · 2016 · author #3
2. An Elastic Image Registration Approach for Wireless Capsule Endoscope Localization cs.CV · 2015 · author #3
3. Confluence for classical logic through the distinction between values and computations cs.LO · 2014 · author #4
4. Relating Sequent Calculi for Bi-intuitionistic Propositional Logic cs.LO · 2011 · author #1

Mentions

• 1504.06206 #3 · backfill · confidence 0.70 Lu\'is Pinto
• 1409.3316 #4 · backfill · confidence 0.70 Lu\'is Pinto
• 1101.5445 #1 · backfill · confidence 0.70 Lu\'is Pinto

Frequent Coauthors

• Jos\'e Esp\'irito Santo 2 shared papers
• Ralph Matthes 2 shared papers
• Carlos Leal 1 shared papers
• Isabel N. Figueiredo 1 shared papers
• Koji Nakazawa 1 shared papers
• Pedro N. Figueiredo 1 shared papers
• Richard Tsai 1 shared papers
• Tarmo Uustalu 1 shared papers