[Sequence] Computational Trinitarianism

Sequence Metadata

  • Class Site: https://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html
  • Video Lectures: https://www.youtube.com/channel/UC5GDHIsHpMuyAKpB56IOZ8g/playlists

Lecture Posts Overview:

Proof Theory:

Type Theory:

  • An Introduction To Lambda Calculus

Category Theory:

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s