Principles of Alpha-Induction and Recursion for the Lambda Calculus in Constructive Type Theory
Paper i proceeding, 2015
Författare
Ernesto Copello
Alvaro Tasistro
Nora Szasz
Ana Bove
Chalmers, Data- och informationsteknik, Datavetenskap
Maribel Fernandez
LSFA
16-
Ämneskategorier
Data- och informationsvetenskap
Datavetenskap (datalogi)