Automath Type Inclusion in Barendregt’s Cube

Fairouz Dib Kamareddine^*, Joseph Brian Wells, Daniel Lima Ventura

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results
- Last Name(descending)

Fairouz Dib Kamareddine
- F.D.Kamareddinehw.acuk
- School of Mathematical & Computer Sciences - Professor
- School of Mathematical & Computer Sciences, Computer Science - Professor
Person: Academic (Research & Teaching)