The λ μ T -calculus

Saved in:
Bibliographic Details
Published in:Annals of pure and applied logic 2013-06, Vol.164 (6), p.676-701
Main Authors: Geuvers, Herman, Krebbers, Robbert, McKinna, James
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0168-0072
DOI:10.1016/j.apal.2012.05.005