Back to Results
First PageMeta Content
Type theory / Logic in computer science / Dependently typed programming / Computability theory / Intuitionistic type theory / Curry–Howard correspondence / Natural deduction / Lambda calculus / Combinatory logic / Mathematics / Logic / Mathematical logic


Innovations in Computational Type Theory using Nuprl S. F. Allen, M. Bickford, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo, E. Moran Department of Computer Science, Cornell-University, Ithaca, NY[removed] {sfa,mark
Add to Reading List

Document Date: 2005-06-21 10:54:34

Open Document

File Size: 366,83 KB

Share Result on Facebook

City

Edinburgh / /

Company

Russell / /

/

Facility

Cornell University / Formal Digital Library / /

IndustryTerm

important algorithms / recursive unbounded search / research / elegant solution / online library / software system design / distributed computing / computing / cartesian product / software systems / /

Organization

Cornell / Date / E. Moran Department of Computer Science / Cornell University / /

Person

Douglas Howe / Alan Bundy / Joe Bates / Ai / Chetan Murthy / M. Bickford / R. Eaton / /

Position

Prime Minister / computer scientist / Bishop / legal member / L. Constable / /

Product

Nuprl / /

ProgrammingLanguage

Haskell / Mathematica / Pascal / Java / ML / C++ / /

ProvinceOrState

Connecticut / /

Technology

functional programming / knowledge management / Java / /

URL

http /

SocialTag