N. G. de Bruijn
N. G. de Bruijn.
Telescopic mappings in typed lambda calculus.
Information and Computation
, 91(2):189-204, April 1991.
References and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database