COMPUTER SCIENCE TRIPOS Part IB – 2013 – Paper 6 4 Computation Theory (AMP) (a) (i ) What does it mean for a λ-term to be a β-normal form? Defining the sets of canonical (C) and neutral (U ) λ-terms by the grammar - Canonical normal form - Document - PDFSEARCH.IO

First Page	Meta Content
	COMPUTER SCIENCE TRIPOS Part IB – 2013 – Paper 6 4 Computation Theory (AMP) (a) (i ) What does it mean for a λ-term to be a β-normal form? Defining the sets of canonical (C) and neutral (U ) λ-terms by the grammar Add to Reading List Document Date: 2014-06-09 10:18:42 Open Document File Size: 76,60 KB Share Result on Facebook

COMPUTER SCIENCE TRIPOS Part IB – 2013 – Paper 6 4 Computation Theory (AMP) (a) (i ) What does it mean for a λ-term to be a β-normal form? Defining the sets of canonical (C) and neutral (U ) λ-terms by the grammarAdd to Reading List