combinatory logic 1modal lambda calculus 1semantic conservation 1simply-typed lambda calculus 1type theory 1
From the 1 of 22 papers with an AI index.
5 citations
- University of California, Los AngelesUS3 papers
- META HealthUS2 papers
- UCLA Medical CenterUS2 papers
- University of FloridaUS2 papers
- Allen InstituteUS1 paper
- Berlin Institute of Health at Charité - Universitätsmedizin BerlinDE1 paper
- Centralsjukhuset KristianstadSE1 paper
- Charles R. Drew University of Medicine and ScienceUS1 paper
- ETH ZurichCH1 paper
- European Molecular Biology LaboratoryDE1 paper
- Fielding Graduate UniversityUS1 paper
- Glenn Research CenterUS1 paper
Showing cs.CLShow all
1 paper · 1 filter