Back to Results
First PageMeta Content
Lambda calculus / Logic in computer science / Proof theory / Computability theory / De Bruijn index / Combinatory logic / Curry–Howard correspondence / Weight / Free variables and bound variables / Mathematics / Theoretical computer science / Mathematical logic


A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus
Add to Reading List

Document Date: 2011-07-29 14:17:24

Open Document

File Size: 200,16 KB

Share Result on Facebook

Company

idT / AMD / Creative Commons / /

Country

Germany / /

/

Facility

Princeton University / Computer Science University of Nottingham Nottingham / /

IndustryTerm

printing / evaluation algorithm / printing tN / analogous algorithm / printing functions / /

Movie

The only thing / /

Organization

Computer Science University of Nottingham Nottingham / Princeton University / Linear Ordered Logic Andreas Abel Nicolai Kraus Theoretical Computer Science Institut f¨ur Informatik Ludwig-Maximilians-Universit¨at M¨unchen / /

Person

Andrew W. Appel / Andreas Abel / Bt / Nicolai Kraus / /

Position

principal candidate / second author / interpreter / /

Product

Phenom II X4 B95 / /

ProgrammingLanguage

V / MLton / Standard ML / J / C / K / /

Technology

Functional Programming / completely analogous algorithm / evaluation algorithm / /

SocialTag