*** This version of Confluence is for testing only and contains a copy of content from June 29th 2026. No changes will be preserved. ***
Skip to main content
Log in
Linked Applications
Loading...
Dev Confluence Dashboard
Dev Confluence Dashboard
Spaces
Hit enter to search
Help
Online Help
Keyboard Shortcuts
Feed Builder
What’s new
About Confluence
Log in
PRL Project
Edit space details
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
Browse pages
Configure
Space tools
Blog
2012
February
17
No PRL Seminar Feb 17
View Page
A
t
tachments (0)
Page History
Page Information
View Source
Attachments
There are currently no attachments on this page.
Overview
Content Tools
{"serverDuration": 50, "requestCorrelationId": "d4d138284d67beac"}
