E-LIB Suche - Ergebnisse für: Honsell, F.

1

Association of nationality and education with oral health: ..:

Brusaferro, S ; Parpinel, M ; Valent, F...
European Journal of Public Health. 29 (2019) Supplement_4 - p. , 2019

Link: https://doi.org/10.1093/..

2

Sexual health knowledge and its promotion in adolescents: t..:

Romanese, F ; Lesa, L ; Brunelli, L...
European Journal of Public Health. 27 (2017) suppl_3 - p. , 2017

Link: https://doi.org/10.1093/..

3

Sexual health and contraception. A three years survey on It..:

Lesa, L ; Romanese, F ; Brunelli, L...
European Journal of Public Health. 27 (2017) suppl_3 - p. , 2017

Link: https://doi.org/10.1093/..

4

Preliminary results of a 2016 oral health screening program..:

Menegazzi, G ; Piemonte, D ; Tito, R...
European Journal of Public Health. 26 (2016) suppl_1 - p. , 2016

Link: https://doi.org/10.1093/..

5

Frontiers of fundamental and computational physics

9th international symposium, Udine and Trieste, Italy, 7 - ... AIP conference proceedings ; 1018

Sidharth, B. G. ; Honsell, F. , 2008

Exemplar: Zentrale:Magazin 01.X.3133

6

Compositional characterisations of λ-terms using intersecti..:

Dezani-Ciancaglini, M. ; Honsell, F. ; Motohama, Y.
Theoretical Computer Science. 340 (2005) 3 - p. 459-495 , 2005

Link: https://doi.org/10.1016/..

7

A complete characterization of complete intersection-type p..:

Dezani-Ciancaglini, M. ; Honsell, F. ; Alessi, F.
ACM Transactions on Computational Logic (TOCL). 4 (2003) 1 - p. 120-147 , 2003

Link: https://dl.acm.org/doi/1..

8

A complete characterization of complete intersection-type p..:

Dezani-Ciancaglini, M. ; Honsell, F. ; Alessi, F.
ACM Transactions on Computational Logic. 4 (2003) 1 - p. 120-147 , 2003

Link: https://doi.org/10.1145/..

9

Prelogical Relations:

Honsell, F
Information and Computation. 178 (2002) 1 - p. 23-43 , 2002

Link: https://doi.org/10.1016/..

10

A Variable Typed Logic of Effects:

Honsell, F. ; Mason, I.A. ; Smith, S..
Information and Computation. 119 (1995) 1 - p. 55-90 , 1995

Link: https://doi.org/10.1006/..

11

LF+ in Coq for fast-and-loose reasoning:

Alessi, F ; Ciaffaglione, A ; Di Gianantonio, P...
info:eu-repo/semantics/altIdentifier/wos/WOS:000514461900001. , 2019

Link: http://hdl.handle.net/11..

12

A definitional implementation of the LAX logical framework ..:

Alessi F ; Ciaffaglione A ; Di Gianantonio P..
ispartofbook:Electronic Proceedings in Theoretical Computer Science, EPTCS. , 2019

Link: http://hdl.handle.net/11..

13

Λ!-calculus, intersection types, and involutions:

Ciaffaglione A ; Di Gianantonio P ; Honsell F..
ispartofbook:Leibniz International Proceedings in Informatics, LIPIcs. , 2019

Link: http://hdl.handle.net/11..

14

The involutions-as-principal types/ application-as-unificat..:

Ciaffaglione A ; Honsell F ; Lenisa M.
ispartofbook:EPiC Series in Computing. , 2018

Link: http://hdl.handle.net/11..

15

Gluing together proof environments: Canonical extensions of..:

Honsell, F ; Maksimović, P ; Liquori, L.
Electronic Proceedings in Theoretical Computer Science. , 2015

Link: http://hdl.handle.net/10..