Loic Peyrot
AuthID: R-00K-6WN
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
AUTHORS: Santo, Jose Espirito; Kesner, Delia; Peyrot, Loic;
PUBLISHED: 2024, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 20, ISSUE: 3
INDEXED IN: 
Scopus 
WOS
Scopus WOS