TY  - RPRT
TI  - Minimal lambda-theories by ultraproducts
AU  - Antonio Bucciarelli
AU  - Alberto Carraro
AU  - Antonino Salibra
PY  - 2013
DO  - 10.4204/eptcs.113.8
UR  - https://arxiv.org/abs/1303.7329
ID  - 1303.7329
ER  -