scientific article; zbMATH DE number 7362739

zbMATH Open1467.68031arXiv1409.3313MaRDI QIDQ4995377

Herman Geuvers, Judith van Stegeren, Wouter Geraedts, Bram Geron

Publication date: 24 June 2021

Full work available at URL: https://arxiv.org/abs/1409.3313

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

A calculus with polymorphic and polyvariant flow types ⋮ A type system for higher-order modules ⋮ Types for the ambient calculus ⋮ Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4995377)