statistiche ricercatore

Nome	#
A FIXED-POINT THEOREM IN A CATEGORY OF COMPACT METRIC-SPACES	148
Intersection Types and Computational Rules	148
Type preorders and recursive terms	143
Recursive Domain Equations of Filter Models.	138
A complete characterization of complete intersection-type preorders	133
A category of compositional domain-models for separable Stone spaces	129
Intersection types and domain operators	120
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space	111
Intersection types and lambda models	104
Tiered Objects	102
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning	100
Intersection Types λS∩	93
Simple Easy Terms	75
Tailoring Filter Models	59
Solutions of Functorial and Non-Functorial Metric Domain Equations	56
An irregular filter model.	52
LF+ in Coq for fast-and-loose reasoning	49
Totale	1760

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2017/2018	20	0	0	0	0	0	0	0	0	0	14	0	6
2018/2019	165	0	3	5	8	0	1	1	16	2	21	73	35
2019/2020	403	18	10	22	51	33	62	46	53	35	33	10	30
2020/2021	340	30	30	5	47	5	25	25	21	78	21	30	23
2021/2022	131	9	12	6	8	1	7	7	6	1	27	25	22
2022/2023	273	19	38	2	56	28	54	0	35	41	0	0	0
Totale													1760