Loic Peyrot


AuthID: R-00K-6WN

Publications Requiring Validation

1
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

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service