A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries

Uložené v:

Podrobná bibliografia
Vydané v:	Information and Computation Ročník 152; s. 111 - 137
Hlavný autor:	Ehrhard, Thomas
Médium:	Journal Article
Jazyk:	Japanese
Vydavateľské údaje:	Elsevier BV 01.06.1999
Predmet:	[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] Computational Theory and Mathematics Computer Science Applications Information Systems Theoretical Computer Science
ISSN:	0890-5401
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Popis
ISSN:	0890-5401
DOI:	10.1006/inco.1998.2781