Tag:Haskell-types

From Wikipedia, the free encyclopedia

Related Tags

Articles

• Sequent calculus (1)
  logic math calculus sequent wikipedia research proof-theory sequence prolog pl>lisp>qi wiki-entry wikipediapage wikipedia-entry people-richard_gentzen sequent-calculus sequent-calculi-lk logics gentzen-systems gentzen deduction csci499h getzen haskell-sequent-calculus mathematics mathematical-logic lk haskell-types nonbeard
• Calculus of constructions (1)
  coq math lambda programming functional step typetheory-inference-rules misc typetheory-judgements calculus-of-constructions calculus constructions cs haskell-types