@Inproceedings{EPTCS113.8, author = {Bucciarelli, Antonio and Carraro, Alberto and Salibra, Antonino}, year = {2013}, title = {Minimal lambda-theories by ultraproducts}, editor = {Kesner, Delia and Viana, Petrucio}, booktitle = {{\rm Proceedings Seventh Workshop on} Logical and Semantic Frameworks, with Applications, {\rm Rio de Janeiro, Brazil, September 29-30, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {113}, publisher = {Open Publishing Association}, pages = {61-76}, doi = {10.4204/EPTCS.113.8}, }