Primitive direcursion and difunctorial semantics of typed object calculus /

Description

Diss. (sammanfattning) Stockholm : Stockholms universitet, 2008. / Härtill 3 uppsatser.

Links & Downloads

1. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-7208
2. urn:nbn:se:su:diva-7208

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/225841369
Date	January 2007
Creators	Glimming, Johan,
Publisher	Stockholm : Numerisk analys och datalogi (KTH CSC), Stockholms universitet,
Source Sets	OCLC
Language	English
Detected Language	English