Church-style type theories over finitary weakly implicative logics

Bibliografické údaje

Autoři

• Libor Běhounek

Rok vydání

2014

Typ publikace

Abstrakt

Periodikum

Abstract Booklet - LATD 2014

Bibliografická citace

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