Linear Abadi and Plotkin Logic
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, following Plotkin's suggestions, that it can be used to define a wide collection of types, including existential types, induc...
-д хадгалсан:
| Үндсэн зохиолчид: | , , |
|---|---|
| Формат: | Artigo |
| Хэл сонгох: | Inglês |
| Хэвлэсэн: |
Logical Methods in Computer Science e.V.
2006-11-01
|
| Цуврал: | Logical Methods in Computer Science |
| Нөхцлүүд: | |
| Онлайн хандалт: | https://lmcs.episciences.org/2233/pdf |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|