Church-style type theories over finitary weakly implicative logics

Bibliographic details

Authors

Libor Běhounek

Publication year

2014

Publication type

Abstrakt

Periodical

Abstract Booklet - LATD 2014

Bibliographic citation

BĚHOUNEK, Libor. Church-style type theories over finitary weakly implicative logics. In: BAAZ, M., CIABATTONI, A., HETZL, S., eds. Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014, S. 131-133.

ID

431685