#curry-howard-correspondence

icon subthematics
Which proofs can be computed by cut elimination
Category

Documents

Which proofs can be computed by cut elimination

Stefan Hetzl

Which proofs can be computed by cut elimination Alternate Text
Category

Documents

Etudes supérieures

Which proofs can be computed by cut elimination

Stefan Hetzl

Book

22 pages

Flag

English

From a scalar type system
Category

Documents

From a scalar type system

Alejandro Diaz Caro

From a scalar type system Alternate Text
Category

Documents

Etudes supérieures

From a scalar type system

Alejandro Diaz Caro

Book

90 pages

Flag

  • 1
Alternate Text