Description

• Title: Proving termination of evaluation for System F with control operators
• Journal title: Electronic Proceedings in Theoretical Computer Science
• Creator: Biernacka, Małgorzata ; Biernacki, Dariusz ; Lenglet, Sergue´ ; Materzok, Marek
• Pages: s. 15-29
• Description: Zawiera ilustracje. ; Bibliogr. ; Proceedings First Workshop on Control Operators and their Semantics, Eindhoven, The Netherlands, June 24-25, 2013. ; Streszcz. w jęz. ang.
• Language of abstract: eng
• Date issued: 2013
• Type: Tekst
• Identifier: https://doi.org/10.4204/EPTCS.127.2
• Language: eng
• Has version: http://dx.doi.org/10.4204/EPTCS.127.2
• License: CC BY
• Detailed object type: art
• Object type: Artykuł
• Location: Vol. 127 (2013)