LAMBDA CALCULUS
Experts
- Ugo Dal Lago
- Lars Birkedal
- Simona Ronchi Della Rocca
- Antonino Salibra
- Furio Honsell
- Frank Pfenning
- Matthias Felleisen
- Alejandro Díaz-Caro
- Mariangiola Dezani-Ciancaglini
- Jan Willem Klop
- Manfred Schmidt-Schauß
- Peter Selinger
- Maribel Fernández
- Karl Crary
- Ugo de'Liguoro
- David Sabel
- Gilles Dowek
- C.-H. Luke Ong
- Marina Lenisa
- Peter D. Mosses
- Nobuko Yoshida
- Gilles Barthe
- Albert R. Meyer
- Marjan Mernik
- John C. Mitchell
- Marco Gaboardi
- Barrett R. Bryant
- Naoki Kobayashi
- Fer-Jan de Vries
- Viviana Bono
- Giulio Manzonetto
- Frédéric Blanqui
- Matthew Hennessy
- Richard Statman
- Neil D. Jones
- Claude Kirchner
- Margaret M. Burnett
- Peter Thiemann
- Ralph Matthes
Venues
- CoRR
- Theor. Comput. Sci.
- POPL
- LICS
- ACM SIGPLAN Notices
- Electron. Notes Theor. Comput. Sci.
- ESOP
- TLCA
- J. Funct. Program.
- Inf. Comput.
- ICFP
- RTA
- Proc. ACM Program. Lang.
- CSL
- Log. Methods Comput. Sci.
- J. Symb. Log.
- APLAS
- Math. Struct. Comput. Sci.
- Commun. ACM
- SIGCSE
- PPDP
- MFCS
- Sci. Comput. Program.
- ACM Trans. Program. Lang. Syst.
- ICALP
- IACR Cryptol. ePrint Arch.
- Ann. Pure Appl. Log.
- MFPS
- ASPLOS
- ACM Comput. Surv.
- FSCD
- Arch. Math. Log.
- Fundam. Informaticae
- ICLP
- PEPM
- TYPES
- ACM SIGCSE Bull.
- IFIP Congress
- Appl. Math. Lett.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend