Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Strong Normalization in a Typed Lambda Calculus with Lambda Structured Types
Home
Publications
Strong Normalization in a Typed Lambda Calculus with Lambda Structured Types
Strong Normalization in a Typed Lambda Calculus with Lambda Structured Types
RN
R.P. Nederpelt
R.P. Nederpelt
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1994
book chapter
Published by
Elsevier BV
p.
389-468
https://doi.org/10.1016/s0049-237x(08)70217-9
Abstract
No abstract available
Cited by 5 articles