Skip to content

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

Yohji Akama

VenueBCSL
Year2001
ProceedingsCSL

Browse the full CSL paper archive.