BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
N.K.0001 É.Lozes
Talks about:
higher (2) order (2) relationship (1) fixpoint (1) between (1) scheme (1) recurs (1) logic (1)

Person: Florian Bruse

DBLP DBLP: Bruse:Florian

Contributed to:

POPL 20172017

Wrote 1 papers:

POPL-2017-KobayashiLB #fixpoint #higher-order #logic #on the #recursion
On the relationship between higher-order recursion schemes and higher-order fixpoint logic (NK0, ÉL, FB), pp. 246–259.
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.