|
Journals in DBLP
- Mariangiola Dezani-Ciancaglini, Ines Margaria
A Characterization of F-Complete Type Assignments. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1986, v:45, n:2, pp:121-157 [Journal]
- Jean-Yves Girard
The System F of Variable Types, Fifteen Years Later. [Citation Graph (1, 0)][DBLP] Theor. Comput. Sci., 1986, v:45, n:2, pp:159-192 [Journal]
- John-Jules Ch. Meyer
Merging Regular Processes by Means of Fixed-Point Theory. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1986, v:45, n:2, pp:193-260 [Journal]
|