自機が空中にいるときに使用できる通常武器であるツインショットと3WAYビーム、接地中に使用できる対地ボムと対空砲火、また飛び道具であるアームを使い分けて進む。地上建造物は対地ボムかアームでしか破壊できない。ステージの途中で敵に捕獲された友軍ヘリを救出するイベントがあり、救出すると自機の攻撃力がアップするアイテムをゲットできる。敵の防御システムのバリアをアームで開いて進入し、防御システムのコアをアームで破壊すると防御システムが解かれ、そこにベルーガが特攻して破壊し、キノコ雲が上がるグラフィックが表示されてステージクリアとなる。（このようにPC-6001を想定した環境で動いてはいるものの、ゲームデザイン自体はPC-6001が現役だった当時としては存在しえなかったものとなっている。）
PC-6001版『タイニーゼビウス』や『スペースハリアー』などの制作者として有名な松島徹によって『特攻空母ベルーガmkII』として2007年に制作され、PC-6001の25周年記念のクリスマスプレゼントとして、とあるPC-6001のファンサイトに送付された（外部リンク参照）。その際に作者が転載禁止ではなく「転載しないの禁止」としたため、プログラムが各所に出回った。Windows用ゲーム（DirectX9必須）ではあるがPC-6001相当の仮想マシンの上でソフトウェアを動かす形態をとっており、2008年には実際に有志によってPC-6001実機に移植された。また2015年には『龍が如く0 誓いの場所』のメインプログラマが松島の熱狂的ファンと言う縁で、『SF特攻空母ベルーガ（16ビット版）』として、セガよりPS Vitaで発売の『龍が如く0 基本無料アプリ for PlayStation Vita』内でプレイできるミニゲームとしても移植された。2016年には16ビット版がWindowsに移植されてDLsiteで販売されている（同人ソフト扱い）。ちなみにフリガナはPC-6001の仕様に合わせて「トツコウクウホ゛　ヘ゛ルーカ゛」が正しい。
楽観的評価（Optimistic Evaluation）は必要呼びの変形の1つであり、関数の引数はある回数だけ部分評価される（回数は実行時に調整される）。そして、評価は中断され、必要呼びで関数が適用される。この方法では必要呼びの性能低下を防ぎつつ、停止属性を保持する。
未来呼び（call by future）あるいは並列名前呼び（parallel call by name）は必要呼びに似ているが、関数の引数は（必要に応じてではなく）関数本体と並行して（別スレッドで）評価される。関数本体で引数を使用するときにスレッドの同期が行われる。引数が全く使われない場合、引数の評価をしているスレッドは中断され捨てられる。
完全β-簡約（full β-reduction）においては、任意の時点で任意の関数適用が簡約される（関数の引数を捕獲回避置換を使った関数に置換する）。これは、適用されない関数の本体内でも行われる。
1956年、この頃のバルトは天使について講義を行っていた。天使は肉体をもたないので純粋に神を証しするからである。すでに彼の同僚は全員引退していたが、バルトは依然大学で講義をしつづけ、並行して1954年から依頼されていたバーゼル刑務所での説教を行っていた。精力的な活動により同年、ブダペスト大学から名誉神学博士号を、エディンバラ大学からは名誉法学博士号を授与された。1958年から体力が衰え始めるが、それでも創造力は枯渇せず、アンセルムスとジャン・カルヴァンを読みなおし、パウル・ティリッヒについて演習を試み学生の指導に力を入れた。この時にエーバーハルト・ユンゲルが演習に参加しており、後にバルト神学を堅持する期待された神学者となる。1960年はバルトのバーゼル大学勤続25年と同大学の500周年が重なった年であったが、彼が後継者に推薦したヘルムート・ゴルヴィツァーが左翼思想の持ち主という理由で推薦を却下された。翌1961年にハインリヒ・オットが後任に決定されたため、バルトはアメリカ旅行を決心した。1962年4月にアメリカ旅行に出かけて、シカゴ大学にて講義を行った。そこで、人間を解放するイエスの自由に基づく神学がアメリカには必要であると話し、もし自分がアメリカの神学者であったら自由について書く、と語った。シカゴ大学は自由神学であったため、自由神学に対立するバルトに長らく批判的であったが、大学側は彼に名誉神学博士号を授与した。また、1963年にはフランスのソルボンヌ大学より名誉文学博士号を受ける。同年デンマークのコペンハーゲンにて、キェルケゴール研究に対してソニング賞を授与された。12月にはバルトのもとをティリッヒが訪れた。2人は論敵であったが、お互いを友人だと確認し合った。これが現代神学の巨匠の最後の話し合いとなった。1964年頃から体力の衰えが顕著になり、同年12月の軽い脳溢血もあって教会に行くことも困難となった。そのため、日曜日の説教はラジオを通して、カトリック・プロテスタント双方を聞いた。そして1965年から1967年にかけて、ティリッヒ、ブルンナー、ゴーガルテンという友人たちはこの世を去っていった。1967年にローマに招待され、法王パウロ6世やカール・ラーナーなどの神学者達と語り合う機会を得た。しかし自然法と良心が啓示の源泉と考えるカトリック神学とは対立した。1967年に肺炎でバーゼル市民病院に入院し、翌1968年に退院するも腹痛による手術で授与が予定されていたジークムント・フロイト賞の授与式に出席することはできなかった。その後は弟子や昔の友人と団らんをし、同年12月10日に自宅で死去する。人は老年になると頭が固くなり、自分の殻に閉じこもりがちになる。しかしこれは自分で作った牢獄に安住することである。バルトが死ぬまで学び続けてあきなかったのは、自己の神学をも含めて、人間の作り出した観念、原理、方法という固定された家に安住することを嫌い、自己をいつも改革することを願ったからである。このバルトの生き方は、つねに自己を変革する神の自由に基づくあり方であるが、ティリッヒがバルト神学の中で最も高く評価した点でもある。