Parent Categories/Forums: Mathematical Logics

Twelf

Twelf provides a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics. Example suites include Cartesian Closed Categories and lambda-calculus, the Church-Rosser theorem for the untyped lambda-calculus, Mini-ML including type preservation and compilation, cut elimination, theory of logic programming, and Hilbert's deduction theorem. Twelf home is here.

Child Forums (2): Sort by activity Sort alphabetically

Twelf - Dev	Twelf - General
Twelf - Dev	Twelf - General

To migrate this forum to the new Nabble2 system, please post a request in the Nabble Support forum — Learn more

To post a message, go to a child forum listed above. :: Alert me of new posts :: Rating Filter:

Thread (5 Threads)

Rating

Replies

Last Message

Child Forum

Why GPL is a mismatch by Jonathan S. Shapiro

by Jonathan S. Shapiro

GPL for Twelf? by Frank Pfenning

by Daniel C. Wang

organization and termination by Matthew Fluet

by Karl Crary

%worlds declarations by Brian E. Aydemir

by Andrew McCreight

Re: Request for constructive criticism by Rob Simmons

by Rob Simmons

To post a message, go to a child forum listed above. :: Alert me of new posts ::