Home > Groups > OPLSS2015

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.

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 :)

http://oplss15.slack.com