Deutsch
 
Benutzerhandbuch Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Konferenzbeitrag

Internalizing Relational Parametricity in the Extensional Calculus of Constructions

MPG-Autoren
/persons/resource/persons180327

Krishnaswami,  Neelakantan
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144520

Dreyer,  Derek
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

Externe Ressourcen
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Krishnaswami, N., & Dreyer, D. (2013). Internalizing Relational Parametricity in the Extensional Calculus of Constructions. In S. Ronchi Della Rocca (Ed.), Computer Science Logic 2013 (pp. 432-451). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.CSL.2013.432.


Zitierlink: http://hdl.handle.net/11858/00-001M-0000-0028-19FB-4
Zusammenfassung
Es ist keine Zusammenfassung verfügbar