Você está em: Start > Publications > View > 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France
Map of Premises
Publications
28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France
Title
28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France
Type
International Conference Proceedings Book
Year
2022
Conference International
28th International Conference on Types for Proofs and Programs, TYPES 2022
Nantes, 20 June 2022 through 25 June 2022
Other information
Language:
English
Type (Professor's evaluation):
Scientific
ISBN:
978-3-95977-285-3
Collection:
LIPIcs
Vol.:
269
Documents
We could not find any documents associated to the publication.
Publications included
Article in International Conference Proceedings Book
Reis, F (Author) (Other); Sandra Alves (Author) (FCUP); Florido, M (Author) (FCUP)
2022
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2025-08-08 at 05:11:30 | Privacy Policy | Personal Data Protection Policy | Whistleblowing
Page created on: 2025-08-08 at 05:11:30 | Privacy Policy | Personal Data Protection Policy | Whistleblowing