Back to Results
First PageMeta Content
Mathematical logic / Normalisation by evaluation / Database normalization / Ordered pair / Data management / Mathematics / Lambda calculus / Type theory


On η-Expansion in NbE and Type Casts Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich 13 October 2011
Add to Reading List

Document Date: 2011-10-13 14:43:05

Open Document

File Size: 73,37 KB

Share Result on Facebook

Company

IEEE CS Press / /

/

IndustryTerm

type-checking algorithm / /

Organization

Type Casts Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich / NbE / /

Person

Thierry Coquand / Peter Dybjer / Miguel Pagano / Andreas Abel / /

Technology

type-checking algorithm / /

SocialTag