Skip to content
Snippets Groups Projects
Normal view Permalink
2022-06-14-types21.md 734 B
Newer Older
Teresa Carbajo-Garcia's avatar
Add new file
Teresa Carbajo-Garcia committed
1 
---
Teresa Carbajo-Garcia's avatar
Update 2022-06-14-types21.md  
Teresa Carbajo-Garcia committed
2 
title: Daniele Nantes, paper published, TYPES
Teresa Carbajo-Garcia's avatar
Add new file
Teresa Carbajo-Garcia committed
3 4 5 6 7 
---

Daniele’s paper [Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes](https://drops.dagstuhl.de/opus/volltexte/2022/16780/pdf/LIPIcs-TYPES-2021-11.pdf) has been published as part of the proceedings of the [27th International Conference on Types for Proofs and Programs,(TYPES)](https://types21.liacs.nl/), organised by the Leiden Institute of Advanced Computer Science, in the Netherlands.

The [TYPES meetings](https://sites.google.com/view/thetypesconferences) are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming.