Open AccessCartesian Intuitionism for Program Synthesis
Author(s) -
Marta Fraňová
Publication year - 2013
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - intuitionism , computer science , cartesian coordinate system , programming language , epistemology , philosophy , mathematics , geometry