Research on integrating datalog & lambda calculus via monotonicity types

Lecture note on Lambda Calculus and Types for FLOLAC

Notes for type theory course

My undergradate thesis on coinductive types in univalent type theory

using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell

Homotopy type theory cheatsheets to read the HoTT Book

Lunchtime type theory study group in Sydney

Developing a type system for a minimal reversible functional language.

Translates Metis ATP proofs to the Agda code

Notes on type theory.

personal notes about graphql

Report for "A Basis for Event-Driven Programming" based on Linear Temporal Type Theory

Report on advancements in Type Theory and application of Program Verification

Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.

Code and slides for my talk presented at the seminar.

papers of Per Martin Löf

My Notes on the Fibrational Semantics of Simple, Polymorphic, and Dependent Type Theory

A cheet sheet for all the typing rules covered in the CST Part II Types course

Moja prezentacja o Homotopicznej Teorii Typów na seminarium z Logiki i Teorii Typów