with recursive types: "Types-AsPropositions " Interpretations in M.Rabin's S2S (1994)

by S F Vorobyov
Venue:Centre