CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
2 research outputs found
A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries
Author
Ehrhard Thomas
Publication venue
'Elsevier BV'
Publication date
01/01/1999
Field of study
Get PDF
International audienc
Elsevier - Publisher Connector
HAL Descartes
Hal-Diderot
A relative PCF-definability result for strongly stable functions and some corollaries (Extended abstract)⋆ ⋆The results presented in this extended abstract have already been published in Information and Computation, under the same title. From this original article [10], we have kept all the informal discussions, the statements of the main results as well as those of the intermediate lemmas, but most proofs have been suppressed.
Author
Bucciarelli
Bucciarelli
+12Â more
Curien
Curien
Ehrhard
Ehrhard
Ehrhard
Girard
Lambek
Meyer
Milner
Plotkin
Thomas Ehrhard
Vuillemin
Publication venue
'Elsevier BV'
Publication date
01/01/2000
Field of study
No full text
Crossref