41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a08748-8e76-7067-a6cd-c6ed7da491cd

An Interactive Tutorial of the Sequent Calculus

blog.ezyang.com · published 22 May 2012

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.ezyang.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 3
Words captured: 445

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

http://logitext.ezyang.scripts.mit.edu/logitext.fcgi/tutorial

logitext.ezyang.scripts.mit.edu

What happens when you mix three research programming languages together Read at the source ↗

blog.ezyang.com

http://logitext.ezyang.scripts.mit.edu/logitext.fcgi/main

logitext.ezyang.scripts.mit.edu