Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lasse R. Nielsen
A Denotational Investigation of Defunctionalization
BRICS Report Series
CPS Transformation of Beta-Redexes
BRICS Report Series