Academic papers in our database
Martín Abadi, Luca Cardelli • 1996
Contains 1 notation
Karel Hrbacek, Thomas Jech • 1999
Contains 6 notations
Benjamin C. Pierce • 2002
Contains 2 notations