TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 27TH 2021. (TYPES 2021)

TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 27TH 2021. (TYPES 2021)

Item #:
065343
Our Price: $110.00
Adding to cart… The item has been added

Details

  • Title: 27th International Conference on Types for Proofs and Programs (TYPES 2021)
  • Subtitle: Held online
  • Date/Location: Held 14-18 June 2021, Leiden, The Netherlands.
  • Series: Leibniz International Proceedings in Informatics Volume 239
  • Editor: Basold, H. et al.
  • ISBN: 9781713859031
  • Pages: 282 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Sep 2022 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 27th International Conference on Types for Proofs and Programs (TYPES 2021)
  • Subtitle: Held online
  • Date/Location: Held 14-18 June 2021, Leiden, The Netherlands.
  • Series: Leibniz International Proceedings in Informatics Volume 239
  • Editor: Basold, H. et al.
  • ISBN: 9781713859031
  • Pages: 282 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Sep 2022 )