Characterization of Strong Normalizability for a Lambda-Calculus with Co-Control

AuthID
 P-00S-CKX
2
Author(s)
Ghilezan, S
1
Editor(es)
Kaposi A.
Tipo de Documento
Proceedings Paper
Year published
2017
Publicado
in Leibniz International Proceedings in Informatics, LIPIcs, ISSN: 1868-8969
Volume: 104, Páginas: 57-58
Conference
23Rd International Conference on Types for Proofs and Programs, Types 2017, Date: 29 May 2017 through 1 June 2017, Patrocinadores: COST Action CA15123 EUTypes
Indexing
Scopus®
Publication Identifiers
SCOPUS: 2-s2.0-85086941476
Source Identifiers
ISSN: 1868-8969
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service