A model theoretic oriented approach to partial algebras (1989)

by P Burmeister
Venue:AkademieVerlag, 1986. P.-L. Curien and A. Obtulowicz, Partiality, cartesian closedness and toposes, Information and Computation 80