Embedding a second-order type system into an intersection type system
- Hirofumi Yokouchi
- 1995
- Information and Computation
Publications
Date
Featured collections
Popular topics
48 results at Information and Computation
Optimal amortized distributed consensus
- Amotz Barnoy
- xiaotie Deng
- et al.
- 1995
- Information and Computation
Reasoning about Infinite Computations
- Moshh Vardi
- Pierre Wolper
- 1994
- Information and Computation
Calling names on nameless networks
- Baruch Schieber
- Marc Snir
- 1994
- Information and Computation
Tolerating a linear number of faults in networks of bounded degree
- Eli Upfal
- 1994
- Information and Computation
Decidability and expressiveness for first-order logics of probability
- Martin Abadi
- Joseph Y. Halpern
- 1994
- Information and Computation
Proving nondeterministically specified safety properties using progress measures
- Nils Klarlund
- Fred B. Schneider
- 1993
- Information and Computation
Infinitary logics and 0-1 laws
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1992
- Information and Computation
Shifting gears: Changing algorithms on the fly to expedite Byzantine agreement
- Amotz Bar-Noy
- Danny Dolev
- et al.
- 1992
- Information and Computation
Fault-tolerant critical section management in asynchronous environments
- Amotz Bar-Noy
- Danny Dolev
- et al.
- 1991
- Information and Computation