Bookcover of Twelf
Booktitle:

Twelf

Logical framework, Natural number, Dependent type

The (2012-06-01 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-613-5-63461-7

ISBN-10:
6135634615
EAN:
9786135634617
Book language:
English
Blurb/Shorttext:
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory. At its simplest, a Twelf program is a collection of declarations of type families and constants that inhabit those type families. For example, the following is the standard definition of the natural numbers, with z standing for zero and s the successor operator. The type family plus is read as a relation between three natural numbers M, N and P, such that M + N = P. We then give the constants that define the relation: plus_zero indicates that any natural number M plus zero is still M. The quantifier can be read as "for all M of type nat". The constant plus_succ defines the case for when the second argument is the successor of some other number N.
Publishing house:
The
Website:
http://www.betascript-publishing.com
Edited by:
Indigo Theophanes Dax
Number of pages:
92
Published on:
2012-06-01
Stock:
Available
Category:
Programming language
Price:
34.00 €
Keywords:
Framework, Logic, language, programming, Formalization, Twelf

Books loader

Newsletter

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING