Show simple item record

Fully Abstract Normal Form Bisimulation for Call-by-Value PCF

dc.contributor.authorKoutavas, V
dc.contributor.authorLin, Y-Y
dc.contributor.authorTzevelekos, N
dc.date.accessioned2023-10-19T09:32:20Z
dc.date.available2023-04-05
dc.date.available2023-10-19T09:32:20Z
dc.date.issued2023
dc.identifier.issn1043-6871
dc.identifier.urihttps://qmro.qmul.ac.uk/xmlui/handle/123456789/91424
dc.titleFully Abstract Normal Form Bisimulation for Call-by-Value PCFen_US
dc.typeConference Proceedingen_US
dc.identifier.doi10.1109/LICS56636.2023.10175778
pubs.author-urlhttps://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:001036707700047&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6aen_US
pubs.notesNot knownen_US
pubs.publication-statusPublisheden_US


Files in this item

Thumbnail
Name:
Tzevelekos Fully Abstract Normal ...
Size:
423.7Kb
Format:
application/
Description:
Accepted version
View/Open

This item appears in the following Collection(s)

Show simple item record