Back to Results
First PageMeta Content
Logic / Programming language theory / Calculus of constructions / Entailment / Typed lambda calculus / Lambda cube / Simply typed lambda calculus / Type constructor / Pure type system / Type theory / Lambda calculus / Theoretical computer science


Calculus of Inductive Constructions Software Formal Verification Maria Jo˜ao Frade
Add to Reading List

Document Date: 2009-06-24 07:52:22

Open Document

File Size: 554,10 KB

Share Result on Facebook

Company

Pure Type Systems Pure Type Systems / /

IndustryTerm

formal systems / /

Organization

Universidade do Minho / /

Person

B . Maria Jo / S. Maria Jo / Maria Jo / /

ProgrammingLanguage

R / /

Technology

dom / /

SocialTag