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

Saved in:

Bibliographic Details
Published in:	Information and Computation Vol. 152; pp. 111 - 137
Main Author:	Ehrhard, Thomas
Format:	Journal Article
Language:	Japanese
Published:	Elsevier BV 01.06.1999
Subjects:	[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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!