combinatory logic 1modal lambda calculus 1semantic conservation 1simply-typed lambda calculus 1type theory 1
From the 1 of 11 papers with an AI index.
5 citations
- META HealthUS2 papers
- Allen InstituteUS1 paper
- Berlin Institute of Health at Charité - Universitätsmedizin BerlinDE1 paper
- European Molecular Biology LaboratoryDE1 paper
- Glenn Research CenterUS1 paper
- Golden Gate UniversityUS1 paper
- HealthCare InteractiveUS1 paper
- Johns Hopkins MedicineUS1 paper
- Johns Hopkins UniversityUS1 paper
- KU LeuvenBE1 paper
- Lawrence Berkeley National LaboratoryUS1 paper
- Leibniz Institute for CatalysisDE1 paper
Showing cs.IRShow all
1 paper · 1 filter