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 × China
1 × Germany
1 × Italy
2 × USA
Collaborated with:
C.Urban T.Nipkow J.Cheney M.Norrish C.Röckl D.Hirschkoff
Talks about:
isabell (3) hol (3) mechan (2) induct (2) metatheori (1) barendregt (1) implement (1) calculus (1) abstract (1) variabl (1)

Person: Stefan Berghofer

DBLP DBLP: Berghofer:Stefan

Contributed to:

LICS 20082008
CADE 20072007
IJCAR 20062006
SEFM 20042004
FoSSaCS 20012001

Wrote 5 papers:

Mechanizing the Metatheory of LF (CU, JC, SB), pp. 45–56.
Barendregt’s Variable Convention in Rule Inductions (CU, SB, MN), pp. 35–50.
IJCAR-2006-UrbanB #combinator #data type #higher-order #recursion
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL (CU, SB), pp. 498–512.
SEFM-2004-BerghoferN #higher-order #random testing #testing
Random Testing in Isabelle/HOL (SB, TN), pp. 230–239.
FoSSaCS-2001-RocklHB #formal method #higher-order #induction #syntax #π-calculus
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts (CR, DH, SB), pp. 364–378.

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.