<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-02-02 15:56:23Logic Type theory Combinatory logic Intuitionistic type theory Robert Lee Constable FO Theoretical computer science Mathematical logic Logic in computer science |
| First Page | Document Content | |
|---|---|---|
Date: 2012-02-02 15:56:23Logic Type theory Combinatory logic Intuitionistic type theory Robert Lee Constable FO Theoretical computer science Mathematical logic Logic in computer science |
