search for books and compare prices
Jan M. Smith has written 5 work(s)
Search for other authors with the same name
displaying 1 to 5 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780857936547 Cover for 9783540415176 Cover for 9783540605799 Cover for 9780198538141
Mind and Method of the Legal Academic
cover image for 9780857936547
By Jan M. Smith
See complete details on each edition (1 edition listed)

Hardcover:

9780857936547, titled "The Mind and Method of the Legal Academic" | Edward Elgar Pub, November 12, 2012, cover price $112.00

Types for Proofs and Programs: International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
cover image for 9783540415176
(view table of contents)
By Thierry Coquand (editor), Peter Dybjer (editor), Bengt Norstrom (editor), Jan M. Smith (editor) and Types 9 (other contributor)
See complete details on each edition (1 edition listed)

Paperback:

9783540415176 | Springer Verlag, March 1, 2001, cover price $99.00

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings
By Peter Dybjer (editor), Bengt Nordstrom (editor) and Jan M. Smith (editor)
See complete details on each edition (1 edition listed)

Paperback:

9780387605791 | Springer Verlag, December 1, 1995, cover price $64.95

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Selected Papers
cover image for 9783540605799
Product Description: This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994...read more
By Peter Dybjer (editor), Bengt Nordstrom and Jan M. Smith
See complete details on each edition (1 edition listed)

Paperback:

9783540605799 | Springer Verlag, June 1, 1995, cover price $89.99 | About this edition: This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.

Programming in Martin-Lof's Type Theory: An Introduction
cover image for 9780198538141
Product Description: In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Löf. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism...read more
By Bengt Nordstrom, Kent Petersson and Jan M. Smith
See complete details on each edition (1 edition listed)

Hardcover:

9780198538141 | Oxford Univ Pr, June 1, 1990, cover price $55.00 | About this edition: In recent years, several formalisms for program construction have appeared.

displaying 1 to 5 | at end