共 50 条
- [31] Mind the Gap! Lay and Medical Perceptions of Risks Associated with the Use of Alternative Treatment and Conventional Medicine FORSCHENDE KOMPLEMENTARMEDIZIN, 2015, 22 (01): : 24 - 29
- [32] The Undecidability of System F Typability and Type Checking for Reductionists 2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,