Old Web
English
Sign In
Acemap
>
authorDetail
>
Ernesto Copello
Ernesto Copello
Agda
Lambda calculus
Intuitionistic type theory
Programming language
System F
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders.
2018
arXiv: Programming Languages
Ernesto Copello
Nora Szasz
Alvaro Tasistro
Show All
Source
Cite
Save
Citations (0)
1