„Intersection Types“

Suchergebnisse

65 Treffer

• A type-theoretic framework for software component synthesis
  Bessai, Jan ; Rehof, Jakob ; Heineman, George T. 2019 Universitätsbibliothek Dortmund
• Orbital Evolution of Near-Earth Objects Under Conditions of Intersections of Resonances of Different Types
  Bordovitsyna, T. V. ; Tomilova, I. V. ; Krasavin, D. S.
• Verkehrsablauf an ungesteuerten Knoten innerorts unter Berücksichtigung der verschiedenen Verkehrsarten: Ermittlung repräsentativer Richtwerte und Zusammenhänge – = Traffic flow at uncontrolled urban intersections with attention to different modes of traffic: determination of representative standard values and interrelations = Écoulement du trafic à des carrefours sans feux de circulation dans les espaces bâtis compte tenu des différents types des transports: détermination de valeurs
  Menendez, Monica ; Guler, I. ; Puffe, E. 2015 Schweizerische Eidgenossenschaft, Eidgenössisches Departement für Umwelt, Verkehr, Energie und Kommunikation UVEK, Bundesamt für Strassen
• Theory of Sets
  Vaidya, Nalini ; Thakran, Bhagwat 2020 LAP LAMBERT Academic Publishing
• Finite combinatory logic with intersection types
  Rehof, Jakob ; Urzyczyn, Paweł 2011 TU, Dep. of Computer Science