Help
AI3
by Javantea — Oct 2, 2012


Page "Intuitionistic type theory" Paragraph 42

from Wikipedia
« »  
*, is a well-formed type in context.

2.292 seconds.



Most text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply.