OPLSS2015
Recently Added Items
| Title | Added By | Updated On |
|---|---|---|
| Old Neglected Theorems Are Still Theorems | joaopizani | Jul 21, 2015 7:50:08 PM |
| Untersuchungen über das logische Schließen. II | joaopizani | Jul 21, 2015 7:42:23 PM |
| Untersuchungen über das logische Schließen. I | joaopizani | Jul 21, 2015 7:42:23 PM |
| The inconsistency of a Brouwerian continuity principle with the Curry–Howard interpretation | joaopizani | Jul 20, 2015 8:20:26 PM |
| Syntax and semantics of dependent types | joaopizani | Jul 20, 2015 8:20:26 PM |
| On the meanings of the logical constants and the justifications of the logical laws | joaopizani | Jul 20, 2015 8:20:26 PM |
| Observational equality, now! | joaopizani | Jul 20, 2015 8:20:26 PM |
| Logical Step-Indexed Logical Relations | joaopizani | Jul 20, 2015 8:20:26 PM |
| Investigations into Logical Deduction | joaopizani | Jul 20, 2015 8:20:26 PM |
| Inductive families | joaopizani | Jul 20, 2015 8:20:26 PM |
See all 31 items for this group in the Group Library.
Recent Group Discussion
No recent group discussions.
Group for us OPLSS people to share all the great bibliography recommendation from the lecturers and from each other.
I added already everything that I could find on lecture notes / Slack. Please add anything missing here :)
- Owner: João Paulo Pizani Flor
- Registered: 2015-07-17
- Type: Public
- Membership: Closed

Upgrade Storage