Telescopic mappings in typed lambda calc
✍
N.G. de Bruijn
📂
Article
📅
1991
🏛
Elsevier Science
🌐
English
⚖ 749 KB