Type-based termination : a polymorphic lambda-calculus with sized higher-order types /

Description

University, Diss.--München, 2006.

Links & Downloads

1. http://deposit.d-nb.de/cgi-bin/dokserv?id=2978981&prov=M&dok_var=1&dok_ext=htm

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/255734771
Date	January 2007
Creators	Abel, Andreas.
Publisher	Lichtenberg (Odw.) : HARLAND media,
Source Sets	OCLC
Language	English
Detected Language	English