Back to Results
First PageMeta Content
Logic in computer science / Type theory / Entailment / Metalogic / Valuation / Intuitionistic type theory / Curry–Howard correspondence / Logic / Deduction / Dependently typed programming


Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology
Add to Reading List

Document Date: 2007-10-10 18:00:00

Open Document

File Size: 178,37 KB

Share Result on Facebook

Company

Oxford University Press / Prentice-Hall / Cambridge University Press / MIT Press / Case / OTT / ITT / /

Currency

pence / /

/

Facility

Information Technology University of Nottingham / University of Edinburgh / /

IndustryTerm

software engineering / communicatin systems / equational machinery / correct software / /

Organization

Cambridge University / Computer Science and Information Technology University of Nottingham / MIT / University of Edinburgh / Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science / Oxford University / /

Person

Logical Frameworks / Nat / Martin Hofmann / Henry Ford / /

Position

author / R. L. Constable / first author / Wb / second author / /

Product

S12 / T10 / /

ProgrammingLanguage

ALF / /

PublishedMedium

Theoretical Computer Science / /

Technology

Functional Programming / Information Technology / /

SocialTag