Back to Results
First PageMeta Content
Predicate logic / Computability theory / Lambda calculus / Theoretical computer science / Function / Free variables and bound variables / De Bruijn index / Combinatory logic / Mathematics / Mathematical analysis / Mathematical logic


J Autom Reasoning DOI[removed]s10817[removed]y A Canonical Locally Named Representation of Binding Randy Pollack · Masahiko Sato · Wilmer Ricciotti
Add to Reading List

Document Date: 2011-06-02 12:07:39

Open Document

File Size: 499,20 KB

Share Result on Facebook

Company

Springer Science+Business Media B.V. / Emerging Technologies / HP / /

/

Event

Product Issues / Product Recall / /

Facility

University of Bologna / Kyoto University / University of Edinburgh / /

IndustryTerm

large scale special purpose tools / automation tools / /

Organization

Graduate School / School of Informatics / University of Bologna / W. Ricciotti Department of Computer Science / Kyoto University / Kyoto / University of Edinburgh / European Commission / /

Person

Masahiko Sato / Wilmer Ricciotti / Randy Pollack / /

Position

author / first author / /

Product

Fresh / /

ProgrammingLanguage

Lambda calculus / /

URL

http /

SocialTag