Výsledky vyhledávání - "Ronchi Della Rocca S."

Autor: Ronchi Della Rocca, S., Dal Lago, U., Faggian, C.

The notion of solvability, crucial in the λ-calculus, is conservatively extended to a probabilistic setting, and a complete characterization of it is given. The employed technical tool is a type assignment system, based on non-idempotent intersectio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8ef3ca2b4bd13a42a967a3d8218f763e
http://hdl.handle.net/11585/797397

Zobrazit plný text záznamu

Akademický článek

Alpha-Conversion and Typability

Autor: Kfoury, A.J., Ronchi della Rocca, S., Tiuryn, J., Urzyczyn, P.

Publikováno v: In Information and Computation 10 April 1999 150(1):1-21

Zobrazit plný text záznamu

Elementary affine logic and call-by-value lambda-calculus

Autor: DAL LAGO, UGO, Ronchi Della Rocca S., Coppola P.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______4094::46a5eefe43f89bf4dbf21daaa68b522c
http://hdl.handle.net/11585/27087

Zobrazit plný text záznamu

Akademický článek

Reduction of storage employed to represent families of information structures.

Autor: Dezani-Ciancaglini, M., Ronchi Della Rocca, S.

Publikováno v: Calcolo; Jan1977, Vol. 14 Issue 1, p45-83, 39p

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Periodical

Two-body photodisintegration of4He up to 80 MeV

Autor: Busso, L., Garfagnini, R., Piragino, G., Ronchi Della Rocca, S., Zanini, A.

Publikováno v: Lettere Nuovo Cimento; June 1971, Vol. 1 Issue: 23 p941-945, 5p

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Qualitative $\lambda$-models as type assignment systems

Autor: Honsell, F., Ronchi della Rocca, S., Klop, Jan Willem, Meijer, J.J.C., Rutten, Jan

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::acd1b16dc4391c29c2ddaccfefb1534b
https://ir.cwi.nl/pub/20395

Zobrazit plný text záznamu

Structured operational semantics and bisimulation as a congruence (Extended abstract)

Autor: Groote, J.F., Vaandrager, F.W., Ausiello, G., Dezani-Ciancaglini, M., Ronchi Della Rocca, S.

Publikováno v: Automata, Languages and Programming: 16th International Colloquium, ICALP'89, Stresa, Italy, July 11-15, 1989 Proceedings, 423-438
STARTPAGE=423;ENDPAGE=438;TITLE=Automata, Languages and Programming
Automata, Languages and Programming ISBN: 9783540513711
ICALP

In this paper the question is considered in which cases a transition system specification in Plotkin style has ‘good’ properties and deserves the predicate ‘structured’. The discussion takes place in a setting of labelled transition systems.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::475a41f305e6d30df8e3e9f153d91260
https://research.tue.nl/nl/publications/ff59655f-8fde-41a3-a01e-bd44914bf339

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání