12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 02:58, 8 July 2008
, 02:58, 8 July 2008→Propositions as Types and Higher Order Types: spacing
|-
|-
| <math>\mathbb{R}^n \to \mathbb{R}^m</math>
| <math>\mathbb{R}^n \to \mathbb{R}^m</math>
| <math>\mbox{Basic}\!</math> <math>\mbox{Transformation}\!</math>
|
<p><math>\mbox{Basic}\!</math></p>
<p><math>\mbox{Transformation}\!</math></p>
| <math>\mathbb{B}^n \to \mathbb{B}^m</math>
| <math>\mathbb{B}^n \to \mathbb{B}^m</math>
|-
|-
| <math>(\mathbb{R}^n \to \mathbb{R}) \to (\mathbb{R}^m \to \mathbb{R})</math>
| <math>(\mathbb{R}^n \to \mathbb{R}) \to (\mathbb{R}^m \to \mathbb{R})</math>
| <math>\mbox{Function}\!</math> <math>\mbox{Transformation}\!</math>
|
<p><math>\mbox{Function}\!</math></p>
<p><math>\mbox{Transformation}\!</math></p>
| <math>(\mathbb{B}^n \to \mathbb{B}) \to (\mathbb{B}^m \to \mathbb{B})</math>
| <math>(\mathbb{B}^n \to \mathbb{B}) \to (\mathbb{B}^m \to \mathbb{B})</math>
|}
|}