Inproceedings,

Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic.

.
CSL, volume 2142 of Lecture Notes in Computer Science, page 399-413. Springer, (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews