The lambda mu(T)-calculus

Fulltext present in this item

Format: PDF

Description: preprint version

Title:	The lambda mu(T)-calculus
Author(s):	Geuvers, H. ; Krebbers, R.J. ; McKinna, J.
Publication year:	2013
Source:	Annals of Pure and Applied Logic, vol. 164, iss. 6, (2013), pp. 676-701
ISSN:	0168-0072
DOI:	https://doi.org/10.1016/j.apal.2012.05.005
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/111279
Display more details
Subject:	Data Science
Organization:	Foundations Software Science Data Science
Journal title:	Annals of Pure and Applied Logic
Volume:	vol. 164
Issue:	iss. 6
Page start:	p. 676
Page end:	p. 701

Faculty of Science [28903]
Open Access publications [56535]
Freely accessible full text publications
Electronic publications [87075]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [187595]
Academic output Radboud University