Internalizing Relational Parametricity in the Extensional Calculus of 
Constructions

Krishnaswami, Neelakantan; Dreyer, Derek

doi:10.4230/LIPIcs.CSL.2013.432

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

会議論文

Internalizing Relational Parametricity in the Extensional Calculus of Constructions

MPS-Authors

/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;

External Resource

http://drops.dagstuhl.de/opus/volltexte/2013/4212/
(全文テキスト（全般）)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

公開されているフルテキストはありません

付随資料 (公開)

There is no public supplementary material available

引用

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.

引用: https://hdl.handle.net/11858/00-001M-0000-0028-19FB-4

要旨

要旨はありません