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
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.
RTA-2002-SeveriV
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.