- Tytuł:
- Intersection Types from a Proof-theoretic Perspective
- Autorzy:
-
Pimentel, E.
Ronchi della Rocca, S.
Roversi, L. - Data publikacji:
- 2012
- Słowa kluczowe:
-
intersection types
lambda calculus
type assignment systems
structural proof-theory - Pokaż więcej
- Dostawca treści:
- BazTech