Showing 1–17 of 17 results
/ Date/ Name
May 27, 2020Spin-valley dynamics in alloy-based transition metal dichalcogenide heterobilayersNov 15, 2019Electrically pumped WSe$_2$-based light-emitting van der Waals heterostructures embedded in monolithic dielectric microcavitiesNov 9, 2019Large Area Automated Characterisation of Chemical Vapour Deposition Grown Monolayer Transition Metal Dichalcogenides Through Photoluminescence ImagingJun 20, 2019Enhanced light-matter interaction in an atomically thin semiconductor coupled with dielectric nano-antennasSep 13, 2021Giant effective Zeeman splitting in a monolayer semiconductor realized by spin-selective strong light-matter couplingMay 24, 2024A Logic of Knowledge and Justifications, with an Application to Computational TrustMar 27, 2025A Direct Characterisation of Logical Grounds and a Decidability ProofFeb 11, 2019A typed parallel λ-calculus via 1-depth intermediate proofsJul 18, 2016Gödel Logic: from Natural Deduction to Parallel ComputationJun 24, 2024A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic ComputationApr 5, 2023Grounding Operators: Transitivity and Trees, Logicality and BalanceJul 8, 2019$\unicode{8523}$ means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional ProgramsMay 9, 2017Mīmā\d{m}sā deontic logic: proof theory and applicationsJun 5, 2024Evaluating AI fairness in credit scoring with the BRIO toolFeb 2, 2023A Typed Lambda-Calculus for Establishing Trust in Probabilistic ProgramsMay 13, 2018Hypersequents and Systems of Rules: Embeddings and ApplicationsFeb 3, 2018Disjunctive Axioms and Concurrent $λ$-Calculi: a Curry-Howard Approach