Scribd Logo
Încărcați

Bine ați venit la Scribd!

  • Logic and Dynamics of Programming Languages

    Încărcat de

    Alejandro Díaz-Caro
    32 vizualizări3 pagini
    This document describes the Logic and Dynamics of Programming Languages team. The team is composed of permanent members from Argentina and France, as well as PhD students from Argentina, France, and other countries. They study topics related to lambda calculus, rewriting, logic, type systems, evaluation strategies, and languages for probabilistic, non-deterministic, and quantum computing.

    Descriere originală:

    Presentation of the LIA INFINIS Team LDPL. 2017.

    Drepturi de autor

    © © All Rights Reserved

    Formate disponibile

    PDF, TXT sau citiți online pe Scribd

    Vi se pare util acest document?

    Este necorespunzător acest conținut?

    Raportați acest document
    This document describes the Logic and Dynamics of Programming Languages team. The team is composed of permanent members from Argentina and France, as well as PhD students from Argentina, France, and other countries. They study topics related to lambda calculus, rewriting, logic, type systems, evaluation strategies, and languages for probabilistic, non-deterministic, and quantum computing.

    Drepturi de autor:

    © All Rights Reserved
    Descărcați ca PDF, TXT sau citiți online pe Scribd
    Indicator pentru conținut neadecvat
    32 vizualizări3 pagini

    Logic and Dynamics of Programming Languages

    Încărcat de

    Alejandro Díaz-Caro
    This document describes the Logic and Dynamics of Programming Languages team. The team is composed of permanent members from Argentina and France, as well as PhD students from Argentina, France, and other countries. They study topics related to lambda calculus, rewriting, logic, type systems, evaluation strategies, and languages for probabilistic, non-deterministic, and quantum computing.

    Drepturi de autor:

    © All Rights Reserved
    Descărcați ca PDF, TXT sau citiți online pe Scribd
    Indicator pentru conținut neadecvat
    din 3

    Logic and Dynamics

    of Programming Languages
    Laboratoire International Associé / Laboratorio Internacional Asociado
    INFINIS
    Collaborators
    Members Pablo E. “Fidel” Martínez López (Argentina)
    (Argentina) Pablo Barenbaum Mauricio Ayala Rincón (Brazil)
    (Argentina) Eduardo Bonelli Flávio Cavalcanti de Moura (Brazil)
    Juliana Kaizer Vizzotto (Brazil)
    (Argentina) Alejandro Díaz-Caro
    Daniel Ventura (Brazil)
    (Argentina) Carlos Lombardi Beniamino Accattoli (France)
    (Argentina) Alejandro Ríos Pablo Arrighi (France)
    (Argentina) Andrés Viso Gilles Dowek (France)
    Damiano Mazza (France)
    (France) Thibaut Balabonski
    Simon Perdrix (France)
    (France) Antonio Bucciarelli Benoît Valiron (France)
    (France) Delia Kesner Mariangiola Dezani-Ciancaglini (Italy)
    (France) Pierre Vial Roel de Vrijer (The Netherlands)
    Marcos Villagra (Paraguay)
    Octavio Malherbe (Uruguay)

    Workshop INFINIS
    Exactas–UBA, October 19, 2017
    The team
    Permanent members

    Thibaut Balabonski Eduardo Bonelli Antonio Bucciarelli

    Alejandro Díaz-Caro Delia Kesner Carlos Lombardi Alejandro Ríos

    “Licenciatura” students
    Ph.D. Students

    I Agustín Borgna (UBA)


    I Gonzalo Ciruelos (UBA)
    I Teodoro Freund (UBA)
    I Ignacio Grima (UNR)
    I Malena Ivnisky (UBA)
    I Francisco Noriega (UBA)
    I Juan Pablo Rinaldi (UNR)
    I Alan Rodas Bonjour (UNQ)
    Pablo Barenbaum Pierre Vial Andrés Viso I Lucas Romero (UBA)
    I Federico Sawady (UNQ)

    LIA INFINIS Logic and Dynamics of Programming Languages Team 2/3


    Current topics studied by the team

    Keywords

    Lambda calculus, Rewriting, Logic


    I Infinitary rewriting
    I Evaluation strategies in lambda calculus
    I Type systems
    I Type isomorphisms
    I Languages for probabilistic and non-deterministic computing
    I Languages for quantum computing
    I Curry-Howard isomorphism

    LIA INFINIS Logic and Dynamics of Programming Languages Team 3/3

    S-ar putea să vă placă și