Você está em: Start > Publications > View > Inhabitation machines: determinism and principality

Map of Premises

Publication

Publications

Inhabitation machines: determinism and principality

Title

Type

Article in International Conference Proceedings Book

Date

2017

Title

Inhabitation machines: determinism and principality

Type

Article in International Conference Proceedings Book

Year

2017

Authors

Sandra Alves

(Author)

FCUP

Broda, S

(Author)

FCUP

View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page Without ORCID

Conference proceedings International

Title: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017. Search for Conference Proceedings Publications

Pages: 57-70

Other information

Authenticus ID: P-00M-YM5

Language: English

Type (Professor's evaluation): Scientific

Documents

We could not find any documents associated to the publication.

Related Publications

Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types (2019)
Article in International Conference Proceedings Book
Sandra Alves; Broda, S

A Unifying Framework for Type Inhabitation (2018)
Article in International Conference Proceedings Book
Sandra Alves; Broda, S

A Typed Language for Events (2015)
Article in International Conference Proceedings Book
Sandra Alves; Broda, S; Maribel FernÃ¡ndez