Toggle navigation
Metatheorem
Author
Posts
Metatheorem
Published:
Feed:
RSS
An Update on CHI 2022
I’m Recruiting a PhD Student
From monads to comonads and back
A brief history of graded modalities
Who came up with semantic brackets?
Category Theory Notes
New Blog Infrastructure
Come One, Come All! The AU CS Colloquium Series is Open to All
Online Seminar: A gentle introduction to template games
A Simplification to LNL Models
Several Online Workshops Coming Soon
Units in Graded Sequent Calculi
Thoughts on Mentoring Undergraduate Research Assistants
My Path from Special Education to Assistant Professor
Postdoc Opportunity at Augusta University
POPL Tutorial: Linear and Graded Modal Types for Fine-Grained Program Reasoning
Augusta University is Hiring Computer Scientists!
New Papers and Talks
Linear Categories: A Folklore Simplification
Barr's Diagrams: Thumbnails
Day 1 at the NSF Career Workshop
Rebooting the Blog: What have I been up to?
Coalgebras, Comonads, and Distributive Laws
LL2016 - Linear Logic: interaction, proofs and computation
Trends in Functional Programming 2016
The Collapse: When Matter Meets Antimatter
LFCS16: Topics
Logical Foundations in Computer Science 2016
Resources for Categories in CS
NIST Workshop on Computational Category Theory: Day 1 and Day 2
NIST Workshop on Computational Category Theory: Day 0
On the Categorical Model of Fragmented Y