University College Copenhagen

output

20032026

most citedEvaluating Robustness to Dataset Shift via Parametric Robustness Sets

5 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Ruichu Cai2 profiles2 · h 5
Stefan Sommer2 profiles2 · h 22
A. Dewi1 · h 2
Alexander Rønning Bendixen1 · h 1
Andreas Lochbihler1 · h 17
A. Thorup1 · h 15
Basil Fürer1 · h 1
B. Brost1 · h 10
Bent Sørensen1 · h 1
Bjarke Bredow Bojesen1 · h 1
Boyan Xu1 · h 10
Brian Harvie1 · h 3

collaborating institutions

University of CopenhagenDK15 papers
IT University of CopenhagenDK12 papers
Department of Mathematical SciencesRU2 papers
Aalborg UniversityDK1 paper
African Centre for Technology StudiesKE1 paper
Brooklyn CollegeUS1 paper
Centre National de la Recherche ScientifiqueFR1 paper
École Centrale de LilleFR1 paper
ETH ZurichCH1 paper
Film IndependentUS1 paper
Guangdong University of TechnologyCN1 paper
Hebrew University of JerusalemIL1 paper

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2022

A Generic Type System for Higher-Order $Ψ$ -calculi

Alex Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel +1

The Higher-Order $Ψ$ -calculus framework (HO $Ψ$ ) is a generalisation of many first- and higher-order extensions of the $π$ -calculus. It was proposed by Parrow et al. who showed that…

cs.LO2021

Quotients of Bounded Natural Functors

Basil Fürer, Andreas Lochbihler, Joshua Schneider +1

The functorial structure of type constructors is the foundation for many definition and proof principles in higher-order logic (HOL). For example, inductive and coinductive datatyp…

A Generic Type System for Higher-Order Ψ-calculi

Quotients of Bounded Natural Functors

A Generic Type System for Higher-Order $Ψ$ -calculi