Skip to contents Lennon-Bertrand, Meven [Author] ; Meven Lennon-Bertrand [Contributor] Complete Bidirectional Typing for the Calculus of Inductive Constructions Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021 Lennon-Bertrand, Meven [Author] ; Nantes Université [Contributor]; Tabareau, Nicolas [Contributor] Bidirectional Typing for the Calculus of Inductive Constructions ; Typage Bidirectionnel pour le Calcul des Constructions Inductives Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2022-06-24 Allais, Guillaume [Author] ; Guillaume Allais [Contributor] Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Dunfield, Jana; Krishnaswami, Neel Bidirectional Typing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2022 Published in: ACM Computing Surveys, 54 (2022) 5, Seite 1-38 Chen, Liang-Ting; Ko, Hsiang-Shang Programming Languages and Systems: A Formal Treatment of Bidirectional Typing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Nature Switzerland, 2024 Published in: Programming Languages and Systems (2024), Seite 115-142 Felicissimo, Thiago Programming Languages and Systems: Artifact report: Generic bidirectional typing for dependent type theories Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Nature Switzerland, 2024 Published in: Programming Languages and Systems (2024), Seite 171-175 Felicissimo, Thiago Programming Languages and Systems: Generic bidirectional typing for dependent type theories Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Nature Switzerland, 2024 Published in: Programming Languages and Systems (2024), Seite 143-170 Lee, Joohong; Seo, Sangwoo; Choi, Yong Suk Semantic Relation Classification via Bidirectional LSTM Networks with Entity-Aware Attention Using Latent Entity Typing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2019 Published in: Symmetry, 11 (2019) 6, Seite 785
Lennon-Bertrand, Meven [Author] ; Meven Lennon-Bertrand [Contributor] Complete Bidirectional Typing for the Calculus of Inductive Constructions Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Lennon-Bertrand, Meven [Author] ; Nantes Université [Contributor]; Tabareau, Nicolas [Contributor] Bidirectional Typing for the Calculus of Inductive Constructions ; Typage Bidirectionnel pour le Calcul des Constructions Inductives Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2022-06-24
Allais, Guillaume [Author] ; Guillaume Allais [Contributor] Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Dunfield, Jana; Krishnaswami, Neel Bidirectional Typing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2022 Published in: ACM Computing Surveys, 54 (2022) 5, Seite 1-38
Chen, Liang-Ting; Ko, Hsiang-Shang Programming Languages and Systems: A Formal Treatment of Bidirectional Typing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Nature Switzerland, 2024 Published in: Programming Languages and Systems (2024), Seite 115-142
Felicissimo, Thiago Programming Languages and Systems: Artifact report: Generic bidirectional typing for dependent type theories Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Nature Switzerland, 2024 Published in: Programming Languages and Systems (2024), Seite 171-175
Felicissimo, Thiago Programming Languages and Systems: Generic bidirectional typing for dependent type theories Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Nature Switzerland, 2024 Published in: Programming Languages and Systems (2024), Seite 143-170
Lee, Joohong; Seo, Sangwoo; Choi, Yong Suk Semantic Relation Classification via Bidirectional LSTM Networks with Entity-Aware Attention Using Latent Entity Typing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2019 Published in: Symmetry, 11 (2019) 6, Seite 785
> Media type Skip to next facet Articles (7) Wert ausschließen Thesis (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (4) Wert ausschließen Without Specification (4) Wert ausschließen Show more show less
> Language Skip to next facet English (7) Wert ausschließen French (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (3) Wert ausschließen Mathmatics (1) Wert ausschließen Philosophy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Felicissimo, Thiago (2) Wert ausschließen Lennon-Bertrand, Meven (2) Wert ausschließen Allais, Guillaume (1) Wert ausschließen Chen, Liang-Ting (1) Wert ausschließen Choi, Yong Suk (1) Wert ausschließen Dunfield, Jana (1) Wert ausschließen Guillaume Allais (1) Wert ausschließen Ko, Hsiang-Shang (1) Wert ausschließen Krishnaswami, Neel (1) Wert ausschließen Lee, Joohong (1) Wert ausschließen Meven Lennon-Bertrand (1) Wert ausschließen Nantes Université (1) Wert ausschließen Seo, Sangwoo (1) Wert ausschließen Tabareau, Nicolas (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (3) Wert ausschließen Springer Nature Switzerland (CrossRef) (3) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (2) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen theses.fr (1) Wert ausschließen Show more show less