Construction and deduction in type theories

Description

Ulm, Univ., Diss., 1999. / http://vts.uni-ulm.de/query/longview.meta.asp?document_id=259.

Links & Downloads

1. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB8303626

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/313510656
Date	January 1999
Creators	Strecker, Martin.
Publisher	Ulm : Universität Ulm, Fakultät für Informatik,
Source Sets	OCLC
Language	English
Detected Language	English