nLab
product natural deduction - table
| type theory | category theory |
---|
| syntax | semantics |
| natural deduction | universal construction |
| product type | product |
type formation | | |
term introduction | | |
term elimination | | |
computation rule | | |
Last revised on September 29, 2012 at 02:40:58.
See the history of this page for a list of all contributions to it.