Polymorphic type theory as a base for categorical logic

Bibliographic Details
Main Authors:	Novitzká, Valerie (Author), Mihályi, Daniel (Author)
Format:	Article
Language:	Slovak English
Subjects:	kategorická logika polymorfné typy výpočtov programovanie

Similar Items