Strong Normalization in a Typed Lambda Calculus with Lambda Structured Types

Publisher Website

1 January 1994

book chapter
Published by Elsevier

p. 389-468
https://doi.org/10.1016/s0049-237x(08)70217-9

Abstract

No abstract available

Keywords

TYPED LAMBDA CALCULUS

This publication has 0 references indexed in Scilit: