conf.directory

Propositions as Types

1 talks about Propositions as Types

Propositions as Types - Tech Conference Talks and Videos | conf.directory | conf.directory