1
TITLE: Partial Proof Terms in the Study of Idealized Proof Search
AUTHORS: Santo, Jose Espirito; Sousa, Ana Catarina;
PUBLISHED: 2024, SOURCE: 17th International Conference on Intelligent Computer Mathematics (CICM) in INTELLIGENT COMPUTER MATHEMATICS, CICM 2024, VOLUME: 14690
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: A FAITHFUL AND QUANTITATIVE NOTION OF DISTANT REDUCTION FOR THE LAMBDA-CALCULUS WITH GENERALIZED APPLICATIONS
AUTHORS: Santo, Jose Espirito; Kesner, Delia; Peyrot, Loic;
PUBLISHED: 2024, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 20, ISSUE: 3
INDEXED IN: Scopus WOS
3
TITLE: The logical essence of call-by-name CPS translations
AUTHORS: Santo, Jose Espirito; Mendes, Filipa;
PUBLISHED: 2024, SOURCE: 26th International Conference on Principles and Practice of Declarative Programming (PPDP) in 26TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2024
INDEXED IN: Scopus WOS CrossRef
4
TITLE: Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
AUTHORS: Santo, Jose Espirito; Frade, Maria Joao ; Pinto, Luis;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 131
INDEXED IN: Scopus WOS CrossRef Unpaywall
IN MY: ORCID
5
TITLE: A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications
AUTHORS: Santo, Jose Espirito; Kesner, Delia; Peyrot, Loic;
PUBLISHED: 2022, SOURCE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
6
TITLE: Plotkin's call-by-value λ-calculus as a modal calculus
AUTHORS: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLISHED: 2022, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 127
INDEXED IN: Scopus CrossRef
IN MY: ORCID
7
TITLE: <p>Plotkin?s call-by-value ?-calculus as a modal calculus</p>
AUTHORS: Santo, Jose Espirito; Pinto, Luis; Uustalu, Tarmo;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 127
INDEXED IN: WOS
IN MY: ORCID
8
TITLE: Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2021, SOURCE: 26th International Conference on Types for Proofs and Programs, TYPES 2020 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 188
INDEXED IN: Scopus
IN MY: ORCID
9
TITLE: A coinductive approach to proof search through typed lambda-calculi
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2021, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 172, ISSUE: 10
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
10
TITLE: The Russell-Prawitz embedding and the atomization of universal instantiation
AUTHORS: Santo, JE; Ferreira, G;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
Page 1 of 4. Total results: 32.