Old Web
English
Sign In
Acemap
>
Paper
>
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders
2018
Ernesto Copello
Nora Szasz
Alvaro Tasistro
Keywords:
Intuitionistic type theory
Calculus
Convention
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
14
References
0
Citations
NaN
KQI
[]