Skip Nav Destination
The Formal Semantics of Programming Languages: An Introduction
Glynn Winskel is Professor of Computer Science at the University of Aarhus, Denmark.
Search for other works by this author on:
The MIT Press
11: Languages with higher types
1993. "Languages with higher types", The Formal Semantics of Programming Languages: An Introduction, Glynn Winskel
Download citation file:
Don't already have an account? Register
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.