Behavioural Inverse Limit λ-Models (2003)

by Mariangiola Dezani-Ciancaglini , Silvia Ghilezan , Silvia Likavec