Combinatory logic - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-08-16 15:05:00 Lambda calculus Algebraic geometry Field theory Valuation Eval Normalisation by evaluation Combinatory logic Mathematics Theoretical computer science Abstract algebra		Add to Reading List Source URL: www-users.cs.umn.edu Download Document from Source Website File Size: 244,28 KB Share Document on Facebook

	Fundamenta Informaticae–19 1 IOS Press DocID: 1pzZ3 - View Document
	Microsoft Word - Midlands Graduate School 2009.doc DocID: 1pvqt - View Document
	Self-Representation in Girard’s System U Keywords Lambda Calculus; Self Representation; Types 1. DocID: 1g42s - View Document
	BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science DocID: 1fMbR - View Document