Semantical analysis of perpetual strategies in λ-calculus
Furio Honsell, Marina LenisaVolume:
212
Year:
1999
Language:
english
Pages:
27
DOI:
10.1016/s0304-3975(98)00140-6
File:
PDF, 1.81 MB
english, 1999