My research interests are in logic and semantics, and their application to reasoning about (higher-order, typed) programming languages. In my work I use ...
Jan Schwinghammer's research while affiliated with Goethe-Universität Frankfurt am Main and other places · What is this page? · Publications (37) · Citations ( ...
Apr 25, 2024 · List of computer science publications by Jan Schwinghammer.
Jan Schwinghammer: Publications - Programming Systems Lab
www.ps.uni-saarland.de › ~jan › publicat...
Here's my entry in the DBLP Bibliography server. Here's a link to the publications page of the Programming Systems Lab.
Digital Native with a passion for all things related to technology.<br><br>Consultant |… · Berufserfahrung: Deloitte · Ausbildung: Duale Hochschule ...
Jan Schwinghammer. Duale Hochschule Baden-Württemberg Stuttgart · Faculty of Business ... Join ResearchGate to contact this researcher and connect with your ...
Jan Schwinghammer. Authors. Jan Schwinghammer. View author publications. You can also search for this author in PubMed Google Scholar. Editor information ...
Step-Indexed Relational Reasoning for Countable Nondeterminism. Authors: Jan Schwinghammer and Lars Birkedal. Published in: LIPIcs, Volume 12, ...
Jan Schwinghammer GOLD 0 Inspirations 38 Friends About Me Add Friend Message My Content. Location: N/A Gender: Male Neck: N/A Chest: N/A Goal: Gain Muscle ...