Logo del repository
  1. Home
 
Opzioni

Tailoring Filter Models

ALESSI, Fabio
•
Franco Barbanera
•
Mariangiola Dezani Ciancaglini
2004
  • conference object

Periodico
LECTURE NOTES IN COMPUTER SCIENCE
Abstract
Conditions on type preorders are provided in order to characterize the induced filter models for the λ-calculus and some of its restrictions. Besides, two examples are given of filter models in which not all the continuous functions are representable.
DOI
10.1007/978-3-540-24849-1_2
Archivio
http://hdl.handle.net/11390/902552
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-33644930188
Diritti
closed access
Soggetti
  • Type preorder

  • Filter model

  • Lambda calculus

Scopus© citazioni
4
Data di acquisizione
Jun 15, 2022
Vedi dettagli
Visualizzazioni
2
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback