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 (1)
Page History
Page Information
View Source
Export to PDF
Blog
2012
February
13
Nuprl Book now available in paperback
Attachments
Name
Size
Creator
Creation Date
Labels
Comment
JPEG File
BookCoverImage.jpg
40 kB
Jim Entwood
Feb 13, 2012 14:12
No labels
Version 2 (current)
40 kB
Jim Entwood
Feb 13, 2012 14:12
Version 1
106 kB
Jim Entwood
Feb 13, 2012 14:10
Overview
Content Tools
{"serverDuration": 82, "requestCorrelationId": "1aec459954d80491"}
