Back to Results
First PageMeta Content
Lambda calculus / Theory of computation / Computability theory / Functions and mappings / Logic in computer science / Combinatory logic / Function / Primitive recursive function / De Bruijn index / Mathematics / Theoretical computer science / Mathematical logic


LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science
Add to Reading List

Document Date: 2014-07-10 05:49:28

Open Document

File Size: 162,21 KB

Share Result on Facebook

Company

Automated Deduction / /

Facility

A. Bunker / Information Science University of Pennsylvania Philadelphia / /

IndustryTerm

nameless solution / /

OperatingSystem

Hurd / /

Organization

Computer and Information Science University of Pennsylvania Philadelphia / National Science Foundation / Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer / /

Person

Aaron Bohannon Stephanie Weirich / Brian Aydemir Aaron Bohannon Stephanie / Bohannon / Coq / R. Nieuwenhuis / Theorem Proving / /

Position

editor / proof assistant / /

ProgrammingLanguage

Haskell / /

Technology

alpha / /

URL

www.elsevier.nl/locate/entcs / http /

SocialTag