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
03
New paper on Logic of Events posted
Attachments
There are currently no attachments on this page.
Overview
Content Tools
{"serverDuration": 78, "requestCorrelationId": "a80da6cb0a8c822f"}