Back to Results
First PageMeta Content
Continuous function / Valuation / Impredicativity / Orbifold / Denotational semantics / Mathematics / Logic in computer science / Calculus


A Realizability Model for Impredicative Hoare Type Theory Rasmus Lerchedahl Petersen1 , Lars Birkedal1 , Aleksandar Nanevski2 , and Greg Morrisett2 1
Add to Reading List

Document Date: 2011-07-10 14:38:57

Open Document

File Size: 279,08 KB

Share Result on Facebook

Company

acS / Honda / /

Currency

pence / /

/

Facility

V inN / IT University / /

IndustryTerm

dependent product / cartesian product / smash product / /

Organization

United Nations / University of Copenhagen / Harvard University / /

Person

Nat / /

Product

Pentax K-x Digital Camera / /

ProgrammingLanguage

Java / /

Technology

Java / dom / /

SocialTag