Name: Vlad Patryshev on Intuitionistic Logic in Scala, Part I: Groethendieck Toposes
Start: 2020-05-17T10:00:00-07:00
End: 2020-05-17T13:00:00-07:00

This is the first of two talks in which Vlad Patryshev will show us implementation of category theory in Scala. From Vlad:

I've been working for many years on implementing intuitionistic logic; currently I use Scala for that purpose. The logic of Grothendieck toposes over small categories can be used for various models, like TLA+, or database logic. Examples of code and logics included.

We'll post the link to the meeting on this page shortly before the scheduled start of the meeting.

Adrian King

SF Types, Theorems, and Programming Languages

Technology

New Technology

Software Engineering

Computer Programming

Programming Languages

Functional Programming

Mathematics

Software QA and Testing

Test Automation

Vlad Patryshev on Intuitionistic Logic in Scala, Part I: Groethendieck Toposes

Online event

Share

SF Types, Theorems, and Programming Languages

Vlad Patryshev on Intuitionistic Logic in Scala, Part I: Groethendieck Toposes

SF Types, Theorems, and Programming Languages

Details

Members are also interested in