Why Adjunctions Matter—A Functional Programmer Perspective

AuthID
P-00Z-CQX
1
Author(s)
2
Editor(s)
Madeira,A;Martins,MA
Document Type
Proceedings Paper
Year published
2023
Published
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 13710 LNCS, Pages: 25-59 (34)
Conference
26Th Ifip Wg 1.3 International Workshop on Algebraic Development Techniques, Wadt 2022, Date: 28 June 2022 through 30 June 2022, Location: Aveiro
Indexing
Publication Identifiers
Scopus: 2-s2.0-85175988106
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.