Dependently-Typed Higher-Order Logic

Faculty/Chair:

Author:

;

;

Title of the Journal:

ACM transactions on computational logic : TOCL

ISSN:

1529-3785

Publisher Information:

New York, NY : Association for Computing Machinery (ACM)

Year of publication:

2025

Issue:

Online First

Pages:

57

Language:

English

DOI:

URL:

Peer Reviewed:

Yes:

International Distribution:

Yes:

Type:

Article

URI:

Activation date:

October 16, 2025

Permalink https://fis.uni-bamberg.de/handle/uniba/110822