- Valeriu Breazu and Octavian St\u{a}n\u{a}\c{s}il\u{a}. A generalization of Kleene's theorem
and nondeterministic structured programming. Information and
Control, 51(2):146-152, November 1981.
- Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter, and Andre Scedrov.
Inheritance as
implicit coercion. Information and Computation,
93(1):172-221, July 1991.
References,
Citations,
etc.
- Val Breazu-Tannen and Jean Gallier. Polymorphic rewriting conserves
algebraic confluence. Information and Computation,
114(1):1-29, October 1994.
References
and Citations.
- Delia Kesner, Laurence Puel, and Val Tannen. A typed pattern calculus.
Information and Computation, 124(1):32-61, 10 January 1996.
Abstract
and References.
Shortcuts: