Skip to content
CK-theory.org
Primary Menu
La théorie C-K
Applications
Écosystème
Ressources
Contribuer
FR
EN
La théorie C-K
Applications
Écosystème
Ressources
Contribuer
FR
EN
Navigation de l’article
Design as Forcing: deepening the foundations of CK theory.
A Formalization of CK Design Theory Based on Intuitionist Logic.