Dependently-Typed Higher-Order Logic
Rothgang, Colin; Rabe, Florian; Benzmüller, Christoph (2026): Dependently-Typed Higher-Order Logic, in: ACM transactions on computational logic : TOCL, New York, NY: Association for Computing Machinery (ACM), Jg. 27, Nr. 1, S. 1–54, doi: 10.1145/3771725.
Faculty/Chair:
Author:
 ;  ; 
Title of the Journal:
ACM transactions on computational logic : TOCL
ISSN:
1529-3785
Publisher Information:
Year of publication:
2026
Volume:
27
Issue:
1
Pages:
Language:
English
DOI:
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Article
URI:
Activation date:
October 16, 2025

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/110822