Publikationsansicht

Γ ⊢ x: T (T-Var) (2008)

Hongwei Xi,
Γ C Bool

Abstract

operators op:: = + | − | ∗ | / | · · · terms t:: = c | x | if t0 then t1 else t2 | op(t) | λx: T.t | t1(t2) values v:: = c | λx: T.t types T:: = Bool | Int | T1 → T2 contexts Γ:: = ∅ | Γ, x: T

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.115.6383
Quelle	http://www.cs.bu.edu/~hwxi/academic/courses/CS520/Fall03/notes/lectures.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch