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 × Serbia
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × Denmark
2 × Japan
Collaborated with:
F.d.Vries M.Fernández
Talks about:
infinitari (3) calculus (3) model (3) program (2) böhm (2) meaningless (1) combinatori (1) discontinu (1) ultrametr (1) extension (1)

Person: Paula Severi

DBLP DBLP: Severi:Paula

Contributed to:

TLCA 20132013
ICFP 20122012
RTA 20122012
RTA 20112011
CSL 20052005
TLCA 20052005
LOPSTR 20022002
RTA 20022002

Wrote 8 papers:

TLCA-2013-SeveriV #modelling #source code
Completeness of Conversion between Reactive Programs for Ultrametric Models (PS, FJdV), pp. 221–235.
ICFP-2012-SeveriV #finite #normalisation #recursion #type system
Pure type systems with corecursion on streams: from finite to infinitary normalisation (PS, FJdV), pp. 141–152.
RTA-2012-SeveriV #combinator #logic #set
Meaningless Sets in Infinitary Combinatory Logic (PS, FJdV), pp. 288–304.
RTA-2011-SeveriV #axiom #λ-calculus
Weakening the Axiom of Overlap in Infinitary λ Calculus (PS, FJdV), pp. 313–328.
CSL-2005-SeveriV #modelling #order
Order Structures on Böhm-Like Models (PS, FJdV), pp. 103–118.
TLCA-2005-SeveriV #λ-calculus
Continuity and Discontinuity in λ Calculus (PS, FJdV), pp. 369–385.
LOPSTR-2002-FernandezS #approach #calculus
An Operational Approach to Program Extraction in the Calculus of Constructions (MF, PS), pp. 111–125.
An Extensional Böhm Model (PS, FJdV), pp. 159–173.

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.