Back to Results
First PageMeta Content
Symbol / Lambda calculus / De Bruijn index / Curry–Howard correspondence / Orbifold / Mathematics / Computer science / Theoretical computer science


Abstract machines for higher-order term sharing Connor Lane Smith University of Kent [removed] Abstract
Add to Reading List

Document Date: 2015-03-04 15:20:42

Open Document

File Size: 210,71 KB

Share Result on Facebook

Company

ABC / /

Country

France / Netherlands / /

/

Facility

University of Oxford / Connor Lane Smith University / /

IndustryTerm

machinery / higher-order matching algorithm / /

MarketIndex

De Bruijn / /

Organization

Connor Lane Smith University / University of Oxford / Japan Artificial Intelligence / /

Person

Tobias Nipkow / Jean-Louis Krivine / Christopher Wadsworth / Pierre-Louis Curien / Ci Right Closure / Vincent van Oostrom / Luca Cardelli / Dale Miller / Connor Lane / /

Position

hB / weak head / head / stacki Head / /

ProgrammingLanguage

Lambda Calculus / /

Region

North Holland / /

Technology

Functional Programming / artificial intelligence / higher-order matching algorithm / /

SocialTag