Interpreters; K-Theory; Mathematical Logic and Fou

Category Theory and Computer Science: 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings

1997 · ENGLISH · PDF

View details →

Category Theory and Computer Science: 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings

1997 · ENGLISH · DJVU

View details →

Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings

1995 · ENGLISH · DJVU

View details →