Skip to main content
Log in
Linked Applications
Loading...
Dashboard
Dashboard
Spaces
Hit enter to search
Help
Online Help
Keyboard Shortcuts
Feed Builder
What’s new
Available Gadgets
About Confluence
Log in
PRL Project
Pages
Blog
Blog
2012
July
May
April
March
February
Feb 24 Seminar-Stronger Role for Recursive Types Needed in the Logic of Events
No PRL Seminar Feb 17
Nuprl Book now available in paperback
Introduction to EventML updated for v0.2
PRL Seminar Feb 10 - A Discussion in Consensus
New paper on Logic of Events posted
EventML Updated
PRL Seminar Feb 3 - Recursion and Co-induction
January
2011
December
November
October
September
August
Browse pages
Configure
Space tools
View Page
A
t
tachments (0)
Page History
Page Information
View Source
Export to PDF
Blog
2012
February
09
PRL Seminar Feb 10 - A Discussion in Consensus
Page Information
Title:
PRL Seminar Feb 10 - A Discussion in Consensus
Author:
Jim Entwood
Feb 09, 2012
Last Changed by:
Jim Entwood
Feb 09, 2012
Tiny Link:
(useful for email)
https://confluence.cornell.edu/x/ZRIlCg
Export As:
PDF
Labels
Global Labels (2)
seminar
consensus
Recent Changes
Time
Editor
Feb 09, 2012 11:37
Jim Entwood
View Changes
Migrated to Confluence 4.0
Feb 09, 2012 11:37
Jim Entwood
View Changes
Feb 09, 2012 09:22
Jim Entwood
View Page History
Overview
Content Tools
{"serverDuration": 83, "requestCorrelationId": "7bdad400755021a5"}