Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A Simpler Undecidability Proof for System F Inhabitation

 
: Dudenhefner, A.; Rehof, Jakob

:
Fulltext (PDF; )

Santo, J.E. ; Univ. of Minho:
24th International Conference on Types for Proofs and Programs, TYPES 2018. Abstracts : Braga, Portugal, 18 June - 21 June 2018
Braga: University of Minho, 2018
pp.35-36
International Conference on Types for Proofs and Programs (TYPES) <24, 2018, Braga>
English
Abstract, Electronic Publication
Fraunhofer ISST ()

: http://publica.fraunhofer.de/documents/N-531319.html