Menu
A type theory with pattern matching and partially defined functions
Cover image not available

A type theory with pattern matching and partially defined functions

Yong Luo

Publication Data

Topics

Catalogue Data

ISBD

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

A type theory with pattern matching and partially defined functions by Yong Luo. Published by Computing Laboratory, University of Kent in 2007. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.