An edition of Category theory and computer science (1989)
Manchester, Uk, September 5-8, 1989 Proceedings (Lecture Notes in Computer Science)
By
Publish Date
October 1989
Publisher
Springer
Language
eng
Pages
365
Description:
subjects: Computer programming, Categories (Mathematics), Congresses, The orie cate gorie, Langage programmation, Ge nie logiciel, Calcul propositionnel, Logique mathe matique, Cate gorie, The orie type, Construction langage