Zobrazeno 1 - 1
of 1
pro vyhledávání: '"GuidiFerruccio"'
Autor:
GuidiFerruccio
Publikováno v:
ACM Transactions on Computational Logic. 23:1-37
We advocate the use of de Bruijn's universal abstraction $\lambda^\infty$ for the quantification of schematic variables in the predicative setting and we present a typed $\lambda$-calculus featuring the quantifier $\lambda^\infty$ accompanied by othe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a07d049114f21c560aeffe7055d9e252
https://doi.org/10.1145/3470646
https://doi.org/10.1145/3470646
