Tag:Calculus-of-constructions

From Wikipedia, the free encyclopedia

Jump to: navigation, search

Related Tags

coq math programming functional lambda constructions cs calculus haskell-types typetheory-inference-rules step misc typetheory-judgements

Articles

Calculus of constructions (1)
coq math lambda programming functional step typetheory-inference-rules misc typetheory-judgements calculus-of-constructions calculus constructions cs haskell-types

Retrieved from "http://en.wikipedia.org/wiki/Tag:Calculus-of-constructions"

Views

Personal tools

Log in / create account

Search

Toolbox