Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 DetailsÜbersicht
  Fsub with Recursive Types: `Types-as-Propositions' Interpretations M. Rabin's S2S

Vorobyov, S. (1995). Fsub with Recursive Types: `Types-as-Propositions' Interpretations M. Rabin's S2S. In Proceedings of JFLA'95: Journées Francophones des Langages Applicatifs (JFLA'95) (pp. 49-73). Rocquencourt, France: INRIA.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD00-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD01-A
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Vorobyov, Sergei1, 2, Autor           
Affiliations:
1Computational Biology and Applied Algorithmics, MPI for Informatics, Max Planck Society, ou_40046              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Subtyping judgments of the polymorphic second-order typed lambda-calculus Fsub extended by recursive types and different known inference rules for these types could be interpreted in S2S, M.Rabin's monadic second-order theory of two successor functions. On the one hand, this provides a comprehensible model of the parametric and inheritance polymorphisms over recursive types, on the other, proves that the corresponding subtyping theories are not essentially undecidable, i.e., possess consistent decidable extensions.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121995
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Rocquencourt, France : INRIA
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519617
Anderer: Local-ID: C1256104005ECAFC-D7347E97BF1DBC85C125615F0036C2F9-Vorobyov94b
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Bois d'Amont, France
Start-/Enddatum: 1995

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of JFLA'95: Journées Francophones des Langages Applicatifs (JFLA'95)
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Rocquencourt, France : INRIA
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 49 - 73 Identifikator: -