Back to Results
First PageMeta Content
Applied mathematics / Symbol / Natural deduction / Normalisation by evaluation / Lambda calculus / Orbifold / World glyph set / Mathematical logic / Theoretical computer science / Proof theory


DRAFT New Equations for Neutral Terms
Add to Reading List

Document Date: 2013-07-04 11:01:23

Open Document

File Size: 344,47 KB

Share Result on Facebook

Company

tq Lp / HD Lp / YS Lp / Ñ Set Lp / TL Lp / /

Currency

Rs / /

/

Facility

Formalized Guillaume Allais Conor McBride Pierre Boutillier University of Strathclyde / /

IndustryTerm

machinery / evaluation algorithms / normalization algorithm / basic machinery / paper computing / syntax-directed typechecking algorithm / monoid law / machinery extracting / usual algorithm / reduction machinery / /

Organization

University of Strathclyde / US Federal Reserve / /

Person

Theorem / James Chapman / Peyton Jones / Catarina Coquand / Guillaume Allais Conor McBride Pierre / /

Position

Mp / type Mp / Introduction The programmer / Weak-head / modified evaluator / model / model Mp / head of type / programmer / /

Product

MpE / ÓÓσ YS This injection / /

Technology

syntax-directed typechecking algorithm / usual algorithm / normalization algorithm / evaluation algorithms / previous typechecking algorithms / /

SocialTag