Back to Results
First PageMeta Content
Deduction / Predicate logic / Computability theory / Lambda calculus / Theoretical computer science / Free variables and bound variables / Entailment / Unification / Admissible rule / Logic / Mathematical logic / Mathematics


Higher-Order Pattern Complement and the Strict λ-Calculus ALBERTO MOMIGLIANO University of Leicester and FRANK PFENNING
Add to Reading List

Document Date: 2010-11-12 07:48:30

Open Document

File Size: 345,64 KB

Share Result on Facebook

City

LE1 HR2 / Leicester / /

Company

ACM Inc. / /

Country

United Kingdom / /

Currency

USD / /

/

Facility

University of Leicester / Carnegie Mellon University / Calculus ALBERTO MOMIGLIANO University of Leicester / /

IndustryTerm

unification algorithm / complement algorithm / infinite transition systems / copyright/server / requisite algorithms / /

Organization

Department of Mathematics and Computer Science / Carnegie Mellon University / University of Leicester / National Science Foundation / Department of Computer Science / /

Person

FRANK PFENNING / /

Position

calculus and related systems General / /

ProgrammingLanguage

Lambda calculus / /

Technology

functional programming / corresponding unification algorithm / machine learning / requisite algorithms / complement algorithm / /

SocialTag