Non determinism through type isomorphism
type: Distribution
access URL: https://inria.hal.science/hal-00925001
format: HTML
issued: 2026-05-07T14:58:41.373944
modified: 2026-05-07T14:58:41.368050

test_moissonnage_selune
type: Agent

Non determinism through type isomorphism
type: Dataset
contact point: Organization
  fn: CCSD
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
landing page: LSFA - 7th Workshop on Logical and Semantic Frameworks with Applications - 2012
description: International audience
issued: 2026-05-07T14:58:41.372806
language: en
modified: 2026-05-07T14:58:41.372810