English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
A Simpler Undecidability Proof for System F Inhabitation
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
2018
Conference Paper
Title
A Simpler Undecidability Proof for System F Inhabitation
Title Supplement
Abstract
Show more
Author(s)
Dudenhefner, A.
TU Dortmund
Rehof, Jakob
Fraunhofer-Institut für Software- und Systemtechnik ISST
Mainwork
24th International Conference on Types for Proofs and Programs, TYPES 2018. Abstracts
Conference
International Conference on Types for Proofs and Programs (TYPES) 2018
Language
English
Fraunhofer-Institut für Software- und Systemtechnik ISST
