Found 7 Documents (Results 1–7)
Existential type systems between Church and Curry style (type-free style). (English) Zbl 1393.03004
MSC:
03B40
Algorithmic introduction of quantified cuts. (English) Zbl 1393.03050
MSC:
03F05
Filter Results by …
all
top 5
Author
- Ábrahám, Erika (1)
- Becker, Bernd (1)
- Bílková, Marta (1)
- Chilton, Chris (1)
- Fujita, Ken-etsu (1)
- Hetzl, Stefan (1)
- Jansen, Nils (1)
- Jonsson, Bengt (1)
- Katoen, Joost-Pieter (1)
- Kwiatkowska, Marta Z. (1)
- Leitsch, Alexander (1)
- Palmigiano, Alessandra (1)
- Reis, Giselle (1)
- Schewe, Klaus-Dieter (1)
- Schubert, Aleksy (1)
- Song, Fu (1)
- Touili, Tayssir (1)
- Venema, Yde (1)
- Wang, Qing (1)
- Weller, Daniel S. (1)
- Wimmer, Ralf D. (1)