Val Breazu-Tannen

Publication Activity (10 Years)

Years Active: 1985-1994
Publications (10 Years): 0

Publications

Val Breazu-Tannen
Collection Types in Databases. BDA (1994)
Val Breazu-Tannen, Ramesh Subrahmanyam
On Adding Algebraic Theories with Induction to Typed Lambda Calculi. AMAST (1991)
Val Breazu-Tannen, Albert R. Meyer
Lambda Calculus with Constrained Types (Extended Abstract). Logic of Programs (1985)