University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 58 items
Thumbnail for HOAS and Strong Normalization -- an exercise in HOAS --
HOAS and Strong Normalization -- an exercise in HOAS --
Popescu, Andrei

Thumbnail for Contributions to the theory of syntax with bindings and to process algebra
Contributions to the theory of syntax with bindings and to process algebra
Popescu, Andrei

Thumbnail for A Fully Abstract Coalgebraic Semantics for the pi-calculus Under Weak Bisimilarity
A Fully Abstract Coalgebraic Semantics for the pi-calculus Under Weak Bisimilarity
Popescu, Andrei

The Isabelle formalization of a general theory of syntax with bindings
Popescu, Andrei

Thumbnail for Incremental pattern-based coinduction for process algebra and its Isabelle formalization
Incremental pattern-based coinduction for process algebra and its Isabelle formalization
Popescu, Andrei; Gunter, Elsa L.

The Isabelle formalization of an incremental coniductive proof system
Popescu, Andrei

Thumbnail for A Fully Abstract Coalgebraic Semantics for the pi-calculus Under Weak Bisimilarity
A Fully Abstract Coalgebraic Semantics for the pi-calculus Under Weak Bisimilarity
Popescu, Andrei

The Isabelle formalization of a general theory of syntax with bindings, with lambda-calculus case studies included
Popescu, Andrei

HOAS on top of FOAS formalized in Isabelle/HOL
Popescu, Andrei

Thumbnail for Strong normalization for System F by HOAS on top of FOAS
Strong normalization for System F by HOAS on top of FOAS
Popescu, Andrei; Gunter, Elsa L.; Osborn, Christopher J.

Thumbnail for Behavioral Extensions of Institutions
Behavioral Extensions of Institutions
Popescu, Andrei; Rosu, Grigore

Thumbnail for A Semantic Approach to Interpolation
A Semantic Approach to Interpolation
Popescu, Andrei; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Term-Generic Logic
Term-Generic Logic
Popescu, Andrei; Rosu, Grigore

Thumbnail for GFOL: A Term-Generic Logic for Defining Lambda-Calculi
GFOL: A Term-Generic Logic for Defining Lambda-Calculi
Popescu, Andrei; Rosu, Grigore

Thumbnail for Term-Generic Logic
Term-Generic Logic
Popescu, Andrei; Rosu, Grigore

Thumbnail for Open Problems and Challenges 2016
Open Problems and Challenges 2016
Rosu, Grigore

Thumbnail for Open Problems and Challenges 2017
Open Problems and Challenges 2017
Roşu, Grigore

Thumbnail for A general approach to define binders using matching logic
A general approach to define binders using matching logic
Chen, Xiaohong; Roşu, Grigore

Thumbnail for A Vanishing Act: Gulag Narratives and Their Afterlife
A Vanishing Act: Gulag Narratives and Their Afterlife
Popescu-Sandu, Oana Agnes

Thumbnail for Magnetomotive optical coherence elastography for biomedical applications
Magnetomotive optical coherence elastography for biomedical applications
Crecea, Vasilica

Thumbnail for
"""Ceaușescu's children:"" the making and unmaking of Romania's last socialist generation (1965-2010)"
Georgescu, Diana

Thumbnail for Venice Biennale 2017: Salon des Réfugiés
Venice Biennale 2017: Salon des Réfugiés
Cheon, Mina

Thumbnail for “Socialism of sentiment:” Culture, progress and community in the early Romanian left 1870-1914
“Socialism of sentiment:” Culture, progress and community in the early Romanian left 1870-1914
Mandru, Anca Maria

Thumbnail for Circular Reasoner: a Package in Mathematica for the Execution of Certain Otherwise Non-terminating Functional Programs
Circular Reasoner: a Package in Mathematica for the Execution of Certain Otherwise Non-terminating Functional Programs
Osborn, Christopher Jon

Thumbnail for Circular Reasoner: A package in Mathematica for the execution of certain otherwise non-terminating functional programs
Circular Reasoner: A package in Mathematica for the execution of certain otherwise non-terminating functional programs
Osborn, Christopher J.

Thumbnail for
"""The Double Bind"" of 1989: Reinterpreting Space, Place, and Identity in Postcommunist Women's Literature"
Wienhold-Brokish, Jessica L.

Thumbnail for The socialist sacred: atheism, religion, and mass culture in Romania, 1948-1989
The socialist sacred: atheism, religion, and mass culture in Romania, 1948-1989
Magdó, Zsuzsánna

Thumbnail for Voices from the other side of the wall: the case of Romanian libraries of the 1970s and 1980s
Voices from the other side of the wall: the case of Romanian libraries of the 1970s and 1980s
Şerbănuţă, Claudia

Thumbnail for Exploring link, text and spatial-temporal data in social media
Exploring link, text and spatial-temporal data in social media
Yin, Zhijun

Thumbnail for Towards Effectively Eliminating Conditional Rewrite Rules
Towards Effectively Eliminating Conditional Rewrite Rules
Serbanuta, Traian Florin; Rosu, Grigore