Login / Signup
Martín Copes
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Type Checking
Lambda Calculus
Database Query Languages
Top Venues
LFMTP@FSCD
</>
Publications
</>
Martín Copes
,
Nora Szasz
,
Álvaro Tasistro
Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution.
LFMTP@FSCD
(2018)