BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × The Netherlands
2 × USA
2 × United Kingdom
Collaborated with:
U.Rivieccio M.A.Moshier A.Stoughton J.Tiuryn C.A.Gunter M.Huth K.Keimel D.R.Ghica A.Lopez
Talks about:
semant (3) continu (2) domain (2) model (2) logic (2) diagrammat (1) character (1) function (1) bilattic (1) approxim (1)

Person: Achim Jung

DBLP DBLP: Jung:Achim

Facilitated 1 volumes:

CSL 2018Ed

Contributed to:

LICS 20132013
CSL 20022002
LICS 19941994
TLCA 19931993
LICS 19901990
LICS 19881988
CSL 20172017

Wrote 8 papers:

LICS-2013-JungR #logic #semantics
Kripke Semantics for Modal Bilattice Logic (AJ, UR), pp. 438–447.
CSL-2002-MoshierJ #logic #semantics
A Logic for Probabilities in Semantics (MAM, AJ), pp. 216–231.
LICS-1994-HuthJK #approximate #linear
Linear Types, Approximation, and Topology (MH, AJ, KK), pp. 110–114.
Studying the Fully Abstract Model of PCF within its Continuous Function Model (AJ, AS), pp. 230–244.
A New Characterization of λ Definability (AJ, JT), pp. 245–257.
LICS-1990-Jung #classification
The Classification of Continuous Domains (AJ), pp. 35–40.
LICS-1988-GunterJ #consistency
Coherence and Consistency in Domains (CAG, AJ), pp. 309–317.
CSL-2017-GhicaJL #diagrams #semantics
Diagrammatic Semantics for Digital Circuits (DRG, AJ, AL), p. 16.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.