Tag:Coq

From Wikipedia, the free encyclopedia

Jump to: navigation, search

Related Tags

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

Articles

Calculus of constructions (5)
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:Coq"

Views

Personal tools

NOTE: This is just a prototype of tag-based navigation on Wikipedia. Visit Wikipedia for the online encyclopedia.Log in / create account

Search

Toolbox