Linear contextual modal type theory: Fid-Bau Portal

Linear contextual modal type theory

Schack-Nielsen, Anders / Schürmann, Carsten

Zugriff

Download

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Linear contextual modal type theory

Schack-Nielsen, Anders / Schürmann, Carsten

Linear contextual modal type theory

Schack-Nielsen, Anders / Schürmann, Carsten

Zugriff

Download

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Dokumentinformationen

Titel:

Linear contextual modal type theory

Beteiligte:

Schack-Nielsen, Anders (Autor:in) / Schürmann, Carsten (Autor:in)

Erschienen in:

IT University technical report series / IT University of Copenhagen ; TR-151 (2011)

IT University technical report series : TR ; TR-151 (2011)

Erscheinungsdatum:

2011

Format / Umfang:

1 Online-Ressource (12 Seiten)

Anmerkungen:

Literaturverzeichnis: Seite11-12

ISBN:

9788779492509

Medientyp:

Report

Format:

Elektronische Ressource

Sprache:

Englisch

Harwitz, Mitchell | Online Contents | 1995

Contextual Counterpoint

Jencks, C. | British Library Online Contents | 2011

Modal survey techniques and theory.

Sloane,E. / Mc Keever,B. / Time/Data Corp. | Kraftfahrwesen | 1975

Contextual Counterpoint

Jencks, Charles | Wiley | 2011

3 Contextual

Online Contents | 2013

Nach oben