Church's types in logical reasoning on programming

Bibliographic Details
Main Author:	Novitzká, Valerie (Author)
Format:	Article
Language:	Slovak English
Subjects:	matematické stroje programovanie logická argumentácia Churchov typový systém

Similar Items