FFree constructions in algebraic institutionsFree constructions in algebraic institutionsde Andrzej TarleckiEdiciones (1)Free constructions in algebraic institutions. (1983)Dept. of Computer Science, Univ. of Edinburgh · inglésMás obras de Andrzej TarleckiFM 2005AAlgebras for some input/output semanticsAlgebras for some input/output semanticsAA language of specified programsA language of specified programs
