Compositionality of Rewriting Rules with Conditions. Issue 2 (2021)

Record Type:: Journal Article
Title:: Compositionality of Rewriting Rules with Conditions. Issue 2 (2021)
Main Title:: Compositionality of Rewriting Rules with Conditions
Authors:: Behr, Nicolas
Krivine, Jean
Is Part Of:: Compositionality. Volume 3:Issue 2(2021)
Journal:: Compositionality
Issue:: Volume 3:Issue 2(2021)
Issue Display:: Volume 3, Issue 2 (2021)
Year:: 2021
Volume:: 3
Issue:: 2
Issue Sort Value:: 2021-0003-0002-0000
Page Start:
Page End:
Publication Date:: 2021
Subjects:: Combinatory logic -- Periodicals
Composition operators -- Periodicals
Categories (Mathematics) -- Periodicals
515.7
Journal URLs:: https://compositionality-journal.org/papers/ ↗
DOI:: ↗
Languages:: English
ISSNs:: 2631-4444
Deposit Type:: Legaldeposit
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:: British Library HMNTS - ELD Digital store
Ingest File:: 15631.xml