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 × Italy
1 × Norway
Collaborated with:

Talks about:
logic (2) combinatori (1) approach (1) partial (1) semant (1) recurs (1) higher (1) order (1) illat (1)

Person: Lukasz Czajka 0001

DBLP DBLP: 0001:Lukasz_Czajka

Contributed to:

FOSSACS 20132013
CSL 20112011

Wrote 2 papers:

FoSSaCS-2013-Czajka #higher-order #logic #recursion
Partiality and Recursion in Higher-Order Logic (LC0), pp. 177–192.
CSL-2011-Czajka #approach #combinator #logic #semantics
A Semantic Approach to Illative Combinatory Logic (LC0), pp. 174–188.

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.