Wikidata

(Q104594275)

English

Typed Lambda Calculi and Applications

former annual conference series on typed lambda calculus

  • TLCA
  • Typed Lambda Calculus and Applications
In more languages

Statements

short name
TLCA (English)
0 references
title
International Conference on Typed Lambda Calculus and Applications (English)
1 reference
stated in
dblp computer science bibliography
reference URL
https://dblp.org/db/conf/tlca/
retrieved
13 February 2021

Identifiers

GND ID
1092016627
1 reference
stated in
lobid-gnd
retrieved
3 March 2021
DBLP venue ID
conf/tlca
0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q104594275&oldid=1374771084"